A diagrammatic approach to categorification of
56 ; quantum groups III
o
o.
^ ■ Mikhail Khovanov and Aaron D. Lauda
(N
July 22, 2008
Abstract
Q^, We categorify the idempotented form of quantum sl(n)
^ : Contents
1 Introduction
>
Q ■ 2 Graphical Interpretation of the bihnear form
'^ ■ 2.1 Quantum groups
.^ . 2.2 Geometric interpretation of the bilinear form .
(^ ■ 3 Graphical calculus for U categorification
OO , 3.1 The 2category W
3.2 Spanning sets of HOMs in W
3.3 Properties and symmetries of 2category U
/\f ' 3.4 Karoubi envelope, U, and 2representations
c^ • 3.5 Direct sum decompositions
3.6 Kq{U) and homomorphism 7
3.7 Idempotented rings
3.8 Surjectivity of 7
3.9 Injectivity of 7 in the nondegenerate case
Categorification of U for s[„
4.1 Forms of quantum stn
4.2 The 2category W_^(s[„,)
5 Iterated fiag varieties
5.1 Cohomology of nstep varieties
5.2 Graphical calculus for iterated flag varieties
5.3 The 2category Flag^
6 Representing W^ on the flag 2category
6.1 Defining the 2functor F^v
6.2 Checking the relations of W_
6.3 Equivariant representation
6.4 Nondegeneracy of W_^(s[n)
72
75
78
84
References 86
1 Introduction
In this paper we categorify the BeilinsonLusztigMacpherson idempotented modification
\J{sln) of \Jq{sln) for any n, generalizing [211 [22] where such categorification was described
for n = 2 and using constructions and resuhs of [Ml [IT] which contain a categorification
of U~ for any Cartan datum.
In [21] Lusztig associates a quantum group U to any root datum; the latter consists
of a perfect pairing (, ) between two free abelian groups X and Y, embeddings of the set
/ of simple roots into X,Y, and a bilinear form on Z[/] subject to certain compatibility
and integrality conditions. Lusztig's definition is slightly different from the original ones
due to Drinfeld [9] and Jimbo ^3\. Lusztig then modifies U to the nonunital ring U which
contains a system of idempotents {1a} over all weights A G X as a substitute for the unit
element,
u = i.uu.
\,tj.ex
In the sin case U was originally defined by Beilinson, Lusztig, and Macpherson [2j and
then appeared in [23l [H] in greater generality. It is clear from Lusztig's work that the
Q(g)algebra U is natural for at least the following reasons:
1. A U module is the same as a U module which has an integral weight decomposition.
These modules are of prime importance in the representation theory of U.
2. U has analogues of the comultiplication, the antipode, and other standard symmetries
of U.
3. U is a Ubimodule.
4. The Peter Weyl theorem and the theory of cells can be intrinsically stated in terms
of the algebra U.
5. U has an integral form _4U, a Z[g, g~^]lattice closed under multiplication and co
multiplication. The integral form comes with a canonical basis B. Conjecturally,
multiplication and comultiplication in this basis have coefficients in N[g, g~^] when
the Cartan datum is symmetric.
6. The braid group associated to the Cartan datum acts on U.
Moreover, U appears throughout the categorification program for quantum groups.
Representations of quantum groups that are known to have categorifications all have in
tegral weight decompositions, and thus automatically extend to representations of U. In
most or all of these examples, see [31 U\ [101 EH [33], the weight decomposition of repre
sentations lifts to a direct sum decomposition of categories, so one obtains a categorifi
cation of the idempotent 1^ as the functor of projection onto the corresponding direct
summand (the only possible exception is the categorification of tensor products via the
affine Grassmannian O [5]). In the categorification of tensor powers of the fundamental
Uq(sl2)representation [3], [lO], each canonical basis element of U acts as an indecompos
able projective functor or as the zero functor. The idea that U rather than U should be
categorified goes back to Crane and Frenkel [8].
U is generated by elements EjIa, Filx, and 1a, where A G X is an element of the weight
lattice and i is a simple root. We will often write E^i instead of Ei and E_i instead of Fj.
We have
E±ilx = lfj_E±ilx,
where, in our notations, explained in Section [2?T n = \±ix, and ix is the element of X
associated to the simple root i. Algebra U is spanned by products
Eilx := E±i^E±i^ . . . E±i^lx = l^E±i^E±i^ . . . E±i^lx,
where i = (±ii, . . . , ±im) is a signed sequence of simple roots, and // = A + ix
The integral form ^U C U is the Z[g, g~^]algebra generated by divided powers
Ei(a)i. = pprEf Ia
Note that U can, alternatively, be viewed as a preadditive category with objects A G X
and morphisms from A to /i being I^UIa. Of course, any ring with a collection of mutually
orthogonal idempotents as a substitute for the unit element can be viewed as a preadditive
category and vice versa. From this perspective, though, we can expect the categorification
of U to be a 2category.
In Section 13.11 we associate a 2category W to a root datum. The objects of this 2
category are integral weights A G X, the morphisms from A to /i are finite formal sums
of symbols Silx{t}, where i = {±ii, . . . , ±im) is a signed sequence of simple roots such
that the left weight of the symbol is /i {Eilx = 1^EjIa), and t G Z is a grading shift.
When i consists of a single term, we get 1morphisms Sj^ilx and Silx, which should be
thought of as categorifying elements Eilx and FjIa of U, respectively. Grading shift {t}
categorifies multiplication by g*. The onemorphism Silx '■ A — >fi should be thought of as
a categorification of the element Eilx When the sequence i is empty, we get the identity
morphism 1a : A — >X, a categorification of the element 1a.
Twomorphisms between Silx{t} and Sjlx{t'} are given by linear combinations of
degree t — t' diagrams drawn on the strip IR x [0, 1] of the plane. The diagrams consist
of immersed oriented one manifolds, with every component labelled by a simple root, and
dots placed on the components. Labels and orientations at the lower and upper endpoints
of the onemanifold must match the sequences i and j , respectively. Integral weights label
regions of the plane cut out by the onemanifold, with the rightmost region labelled A. Each
diagram has an integer degree assigned to it. We work over a ground field k, and define
a twomorphism between Silx{t} and Sjlx{t'} as a linear combination of such diagrams
of degree t — t', with coefficients in k, modulo isotopies and a collection of very carefully
chosen local relations. The set of 2morphisms U{Silx{t} , Sjlx{t'}) is a kvector space.
We also form graded vector space
iiOMu{Silx,Sjlx) := ^U{Silx{t},Sjlx). (1.1)
Vertical composition of 2morphisms is given by concatenation of diagrams, horizontal
composition consists of placing diagrams next to each other.
In each graded kvector space B.OMu{£ilx, Sjlx) we construct a homogeneous spanning
set Bijx which depends on extra choices. The Laurent power series in q, with the coefficient
at q"^ equal to the number of spanning set elements of degree r, is proportional to suitably
normalized inner product {Eilx, Ejlx), where the semilinear form (, ) is a mild modification
of the Lusztig bilinear form on U. The proportionality coefficient vr depends only on the
root datum.
We say that our graphical calculus is nondegenerate for a given root datum and field k
if for each i,j and A the homogeneous spanning set Bijx is a basis of the kvector space
}iOMu{Silx,Sjlx) Nondegeneracy will be crucial for our categorification constructions.
The 2category U is kadditive, and we form its Karoubian envelope U, the smallest
2category which contains U and has splitting idempotents. Namely, for each A, /i G X, the
category U{X, yu) of morphisms A — >fi is defined as the Karoubian envelope of the additive
klinear category W(A, /i). The split Grothendieck category Kq(U) is a preadditive category
with objects A, and the abelian group of morphisms from A to yU is the split Grothendieck
group Ko(U{X, fij) of the additive category W(A, /i)). The grading shift functor on W(A, /i)
turns Ko(U{X, fi)) into a Z;[g, g"^]module. This module is free with the basis given by
isomorphism classes of indecomposable objects of ZY(A,/i), up to grading shifts. The split
Grothendieck category Kq(U) can also be viewed as a nonunital Z[g, g~^]algebra with a
collection of idempotents [1a] as a substitute for the unit element.
In Section [3l6l we set up a Z[g, g^^]algebra homomorphism
which takes 1a to [1a] and E^lx to [^jIa], for any "divided power" signed sequence i.
The main results of this paper are the following theorems.
Theorem 1.1. The map 7 is surjective for any root datum and field k.
Theorem 1.2. The map 7 is injective if the graphical calculus for the root datum and
field k is nondegenerate.
Theorem 1.3. The graphical calculus is nondegenerate for the root datum oi sin and any
field k.
The three theorems together immediately imply
Proposition 1.4. The map 7 is an isomorphism for the root datum of sin and any field
k.
The last result establishes a canonical isomorphism
At{sln)=Ko{U{sln))
and allows us to view W(s[„) as a categorification of U(s[„).
Theorem 11.11 proved in Section I3.8[ follows from the results of J16l [T71 2T] and basic
properties of Grothendieck groups and idempotents. Theorem ll.2[ proved in Section 13.91
follows from the nondegeneracy of the semilinear form on U and its pictorial interpretation
explained in Section 12.21 To prove theorem 11.31 we construct a family of 2representations
of U and check that the elements of each spanning set Bijx act linearly independently on
vector spaces in these 2representations, implying nondegeneracy of the graphical calculus.
Sections 1H6] are devoted to these constructions.
Indecomposable onemorphisms, up to isomorphism and grading shifts, constitute a
basis of Ko(U{sln)) = A^i^ln), which might potentially depend on the ground field k. The
multiplication in this basis has coefficients in N[g, q~^]. It is an open problem whether this
basis coincides with the Lusztig canonical basis of ^U(s[„). The answer is positive when
n = 2, see [21].
Another major problem is to determine for which root data the graphical calculus is
nondegenerate. Nondegeneracy immediately implies, via theorems 11.11 and II. 2[ that U
categorifies U for a given root datum.
We believe that U will prove ubiquitous in representation theory. This 2category or
its mild modifications is expected to act on parabolicsingular blocks of highest weight
categories for sl^ in the context of categorification of sin representations [TJ [TOl [31], on
derived categories of coherent sheaves on KronheimerNakajima [20] and Nakajima [26]
quiver varieties and on their FukayaFloer counterparts, on categories of modules over
cyclotomic Hecke and degenerate Hecke algebras [Il[19], on categories of perverse sheaves in
Zheng's categorifications of tensor products [33], on categories of modules over cyclotomic
quotients of rings R{i^) in [13 [T7], on categories of matrix factorizations that appear in [18],
Section 11], et cetera. A possible approach to proving that the calculus is nondegenerate
for other root systems is to show that U acts on a sufficiently large 2category and verify
that the spanning set elements act linearly independently. It would also be interesting to
relate our constructions with those of Rouquier [2Sl 130] •
Categories of projective modules over rings R{i'), defined in [161 [H]) categorify U~
weight spaces. A subset of our defining local relations on twomorphisms gives the relations
for rings R{v). This subset consists exactly of the relations whose diagrams have no critical
points (Uturns) on strands and have all strand orientations going in the same direction.
In other words, the relations on braidlike diagrams allow us to categorify U~, while the
relations without these restrictions lead to a categorification of the entire U, at least in
the sin case. Informally, the passage from a categorification of U^ to a categorification of
U is analogous to generalizing from braids to tangles.
Acknowledgments. M.K. was partially supported by the NSF grant DMS0706924
and, during the early stages of this work, by the Institute for Advanced Study.
2 Graphical Interpretation of the bilinear form
2.1 Quantum groups
2.1.1 Algebras f and U
We recall several definitions, following [21]. A Cartan datum (/, ■) consists of a finite set /
and a symmetric Z valued bilinear form on Z[/], subject to conditions
• i i e {2,4,6,. . .} ioT i e I,
• dij := 2f G {0, 1, 2, ... } for any t^jin I.
Let qi = q'^, [a]i = q^'^ + gf"^ + ■ ■ ■ + q]''', [a]i\ = [a]i[a  l]i . . . [1]^. Denote by 'f the free
associative algebra over (Q(g) with generators 6i, i & I, and introduce qdivided powers
^i = ^?/Hi' The algebra 'f is N[/]graded, with 9i in degree i. The tensor square 'i0'i
is an associative algebra with twisted multiplication
(xi X2){x[ (g) X2) = g"'^^'''^i'xiXi 0:2X2
for homogeneous Xi, 0:2, x[, x^ The assignment r(di) = di®\W®di extends to a unique
algebra homomorphism r : 'f — >'f ® 'f .
Algebra 'f carries a (Q(g)bilinear form determined by the condition^j
• (1,1) = 1,
• (0„0,) = (5,,,(lg2)ifor^,je/,
• (a;, yy') = {r{x),y (g) y') for x, y, y' G 'f ,
• {xx' , y) = {x ® x' , r{y)) for x, x', y G 'f .
The bilinear form (, ) is symmetric. Its radical U is a twosided ideal of 'f . The form (, )
descends to a nondegenerate form on the associative (Q(g)algebra f = 'f/J.
^Our bilinear form (,) corresponds to Lusztig's bilinear form {,}, see Lusztig [24, 1.2.10].
Quantum groups
Theorem 2.1. The ideal 3 is generated by the elements
a+b=dij+l
over all i,j & I, i j^ j.
It seems that the only known proof of this theorem, for a general Cartan datum, requires
Lusztig's geometric realization of f via perverse sheaves. This proof is given in his book ^M
Theorem 33.1.3]. Less sophisticated proofs exist when the Cartan datum is finite.
We see that f is the quotient of 'f by the quantum Serre relations
J2 (l)"^f^^,# = 0. (2.1)
a+b=dij+l
Let ^f be the Z[g, g^^]subalgebra of f generated by the divided powers Of" , over all
i e I and a G N.
A root datum of type (J, ■) consists of
• free finitely generated abelian groups X,Y and a perfect pairing (, ) : F x X ^ Z;
• inclusions I <Z X {i ^^ ix) and I dY {i y^ i) such that
• {i,ix) ='^Ti= dij for all i,j E I.
This implies {i, ix) = 2 for all i. We write ix, rather than Lusztig's i' , to denote the image
of i in X.
The quantum group U associated to a root datum as above is the unital associative
Q(g)algebra given by generators Ej, Fj, K^ for i G / and ji eY , subject to the relations:
i) Kq = 1, Kij,K^> = Kf,+^> for all /i, fi' G Y,
ii) Kf,Ei = q'^^'''^^EiK^ for alH G /, /i G Y,
iii) K^Fi = q^^'''^^FiK^ for alH G /, /i G Y,
iv) EiFj  FjEi = 6ij ^"ZH'i ^ where K±i = K^a.imi,
v) For all i ^ j
E iirEt^E,Ei'^ = and ^ (1)^^^/"^^^.^^^ = 0
a+6=(ijx>+l a,+b=(i,jx)+'i
li f{6i) G 3 for a polynomial / in noncommutative variables 6i, i E I, then f{Ei) =
and f{Fi) = in U. This gives a pair of injective algebra homomorphisms f ^ U.
Quantum groups 8
2.1.2 Some automorphisms of U
Let " be the Qhnear involution of Q(g) which maps q to q^^. U has the following standard
algebra (anti) automorphisms.
• The Q(g)antilinear algebra involution ip: \J ^U given by
^(E,) = E,, tlj{F,) = F„ ^P{K^) = K_^, ^(/x) = Mx) for / G (Q(g) and xeV.
• The Q(g)linear algebra involution uj: U ^U given by
uj{Ei) = F,, uj{Fi) = E,, uj{K^) = K^^.
• The Q(g)linear algebra antiinvolution a:\J^ U°p given by
a{Ei) = Ei, a{Fi) = F,, a{K^) = K^.
• The Q(g)linear algebra antiinvolution p: U ^ U°p given by
p{Ei) = q.KiFi, p{Fi) = q^K.^Ei, p{K^) = K^.
We denote by p the Q(g)linear antiinvolution ippip: U ^ U°p.
• The (Q(g)antilinear antiautomorphism r : U ^ U°p defined as the composite r = ipp:
T{Ei) = q^'K^,F„ t{F,) = q~'K,E„ r{K^) = K_^.
2.1.3 U and the bilinear form
The (Q(g)algebra U is obtained from U by adjoining a collection of orthogonal idempotents
1a for each A G X,
UIa' = 5a,a'1a', (2.2)
such that
ir^lA = lA^M = 9^'''^^lA, F.Ia = 1a+^;,^., FaA = lA.x^. (2.3)
The algebra U decomposes as direct sum of weight spaces
U= Ia'UIa.
A.A'eX
We say that A, respectively A', is the right, respectively left, weight of a; G Ia'UIa. The
algebra ^U is the Z[g, g~^]subalgebra of U generated by products of divided powers E^ Ix
and Fj 1a, and has a similar weight decomposition
^U= 1a'UU)1a.
A.A'eX
8
Quantum groups
9
The following identities hold in U and ^U:
(2.4)
(2.5)
(2.6)
(2.7)
The (anti) automorphisms ip, u, a, p and r all naturally extend to U and ^U if we set
^Ij{1x) = 1a, c^(1a) = 1A, ^(1a) = 1A, p(1a) = U, ^(Ia) = Ia
Taking direct sums of the induced maps on each summand Ia'UIa allows these maps to
be extended to U. For example, the antiautomorphism r induces for each A and A' in X
an isomorphism Ia'UIa ^ IaUIa'. Restricting to the Z[g, g~^]subalgebra ^U and taking
direct sums, we obtain an algebra antiautomorphism r: ^^U ^ ^U such that t{1x) = Ix,
771(1)1 1 rpia) p(a)
 1 p('^)
 ^Xaix'^i 5
min(a,fe)
t=o
a — b + {i, X)
t
i
min(a,6) ^
^— n
—a + b — {i, A)
t
j^{at) p{bt) ^
 i
l(i,A>
IxFilx+ix^ and r(lAFjlA+
^XJ
Q:
l+{i,X)
Ix+ixEdx for all XeX.
T{lx+ixEilx) = q'i
The following result is taken from Lusztig [231 26.1.1], but our bilinear form is normal
ized slightly differently from his.
Proposition 2.2. There exists a unique pairing (, ) : U x U ^ Q(q') with the properties:
(i) (,) is bilinear, i.e., ifx,y) = f{x,y), (xjy) = f{x,y), for / G Q(g) and x,y e\J,
(ii) (1aiX1a2 7 Ia'^I/Ia^) = for all x,y &\J unless Ai = A'^ and A2 = Ag,
(iii) {ux,y) = {x,p{u)y) for u G U and x, y G U,
(iv) (xIa, x'lx) = {x, x') for all x, x' G f = U+ and all A (here (x, x') is as in Section [2.1.ip .
(v) (x, y) = {y, x) for all x, y G U.
Definition 2.3. Define a semilinear form (, ) : U x U ^ Q(q') by
(x, y) := {ip{x), y) for all x, y G U.
Proposition 2.4. The map (, ) : U x U ^ Q(q') has the following properties
(i) (,) is semilinear, i.e., {fx,y) = f{x,y), {xJy) = f{x,y), for / G Q(g) and x,?/ G U,
(ii) (IaiXIaj, 1a'Z/1a') = for all x, y G U unless Ai = A'^ and A2 = A'
(iii) {ux, y) = (x, T{u)y) for m G U and x, y G U,
*2 5
9
Quantum groups 10
(iv) {xlx,x'lx) = {'ip{x),x') for x, x' G f and A G X,
(v) {x,y) = {ilj{y),^{x)) for all x,y etj.
Proof. Immediate. D
Proposition 2.5. The bilinear form (, ) and the semilinear form (, ) are both nondegenerate
on U.
Proof. Nondegeneracy of (, ) is implicit throughout [211 Chapter 26] and follows for instance
from Theorem 26.3.1 of [24J. D
The bilinear and semilinear forms restrict to pairings
(, ) : ^U X ^U ^ Z[q, q~'], (, ) : ^U x ^U ^ Z[g, q']. (2.8)
2.1.4 Signed sequences
Throughout the paper we write E^i for Ei and E^i for Ei and need notation for products of
these elements. By a signed sequence i = (eiii, £2^2, • • • , ^mim), where ei, . . . ,em G {+, — }
and ii, . . . ,im G /, we mean a finite sequence of elements of / with signs. We may also
write i as eiii, £2^2, • • • , ^mim or even £:iZi£:2^2 • • • £mim Let \i\ = Yl^=i ^k^k, viewed as an
element of Z[/]. The length of i, denoted  i , is the number of elements in the sequence
i [m in the above notations). Define SSeq to be the set of signed sequences. Let
Ei := E^^i^E^^i2 . . . E£,„j„ G U, (2.9)
EiU ■■= Ee,,,E,,,, . . .^„„.„1a e U. (2.10)
Recall that ix & X denotes the image of i under the embedding I ^ X. Let
ix ■■= ieiii)x H h iemim)x G X. (2.11)
Then Eil\ = Ix+i^Eilx, so that A, respectively A + ix, is the right, respectively left,
weight oi Eilx
A sequence i is positive if all signs ei, . . . ,6^ = +■ We may write a positive sequence
as (ii, . . . , im) or even ii . . . im Denote by SSeq^ the set of all positive sequences. As in
[16], for z/ G N[J], z/ = ^ z/j ■ i, denote by Seq(z/) the set of all sequences i = ii ■ im such
that i appears Vi times in the sequence. There is an obvious bijection
SSeq+ = W Seq(z/). (2.12)
A sequence is negative if all signs Si, . . . .Sm = —■ For a positive sequence i denote by
— i the corresponding negative sequence. For any signed sequence i denote by — i the
sequence given by reversing all signs in i. We write concatenation of sequences i and j as
ij, attaching ±2 to the left of i as ±i«, etc.
10
Quantum groups
11
By a divided powers signed sequence (dpss for short) we mean a sequence
i = {sA'''\e2i^'\...,e^zt^) (2.13)
where e's and i's are as before and ai,...,am G {1,2, .. . }. Let \i\ = J2T=i^k<^kik G ^[^]
and define  i , the length of i, as X^fcLi ^k ^ N. For a dpss i let i be a signed sequence
given by expanding i
[Eiti, . . . , Eiti, £2^2, • • • , ^2^2, • • • , ^m^r
I Ern.f'r
with term ei^i repeating ai times, term £2^2 repeating 02 times, etc.
Define
E„(a
(a)
E
(a)
rpa
the quantum divided powers of generators E'ej. Then
ei(«) LA = Egj 1a G U
E^i(a)l)
and has left weight A + eaix ■ More generally, for a dpss «
and
E ■= _£;("!)_£; ("2)
ei«i £2*2
&m I'm
Eilx^=E^lE^...E^h,eV,
(2.14)
(2.15)
(2.16)
(2.17)
with left weight A + YlT=i ^rO'r{ir)x
Let SSeqd be the set of all dpss. Elements EjIa, over all i G SSeqd and A G X, span
^U as a Z[g, g~^]module. For z/ G N[/], Seqd(i^) was defined in i6] as the set of all
expressions if . . . im such that J2T=i ^rir = ^ Each element of Seqd(z/) gives a positive
divided power sequence, and
SSeqd+ = W Seqd(z/). (2.18)
The length  i  of a dpss is defined as the sum ai + 02 + ■ ■ ■ + a^ in the above notation.
For the reader's convenience our notations for sequences are collected below:
Seqd(i/)
positive divided (_
powers sequences
of weight V
Seq(z/)
positive sequences "
of weight V
SSeqd+
)■ positive divided power "
signed sequences
^ Seq+ e.
positive sequences
SSeqd
¥ divided powers
signed sequences
SSeq
signed sequences
11
Geometric interpretation of the bilinear form
12
2.2 Geometric interpretation of the bilinear form
Mark m points 1 x {0}, 2 x {0}, . . . , m x {0} on the lower boundary R x {0} of the strip
R X [0,1] and k points 1 x {1},2 x {1},...,A; x {1} on the upper boundary R x {1}.
Assuming m + k is even, choose an immersion of ^^^^ strands into R x [0, 1] with these
m + k points as the endpoints. Orient each strand and label it by an element of /. Then
endpoints inherit orientations and labels from the strands:
+   +
— • • • •— k = A
+
m
Orientation and labels at lower and upper endpoints define signed sequences i, j G SSeq. In
the above example, i = {+i, —j, +i, —i) and j = {+i, — j, —i, +i). We consider immersions
modulo boundarypreserving homotopies and call them pairings between sequences i and
j, or simply (i, j)pairings.
Clearly, (i, j)pairings are in a bijection with complete matchings of m + k points such
that the two points in each matching pair share the same label and their orientations are
compatible. Denote by p'{i,j) the set of all (i, j)pairings.
A minimal diagram D oi a (i, j)pairing is a generic immersion that realizes the pairing
such that strands have no selfintersections and any two strands intersect at most once.
We consider minimal diagrams up to boundarypreserving isotopies. A (i,jf) pairing has
at least one minimal diagram, in the example below it has two:
Here is an immersion which is not a minimal diagram
Given A G X, color the regions of a minimal diagram D by elements of X such that the
rightmost region is colored A, and the two regions between the two sides on an ilabelled
strand differ by ix
\ + ix
A
12
Geometric interpretation of the bilinear form
13
Isotope D so that the strands at each crossing are either both oriented up or down, and de
fine the degree deg{D, A) of D relative to A as the integer which is the sum of contributions
from all crossings, local maxima and minima of D:
Va
Va
A'
A'
x^
X'>
deg
C+i,X
Ci,X
C+i,\
Ci,X
iJ
ij
where
Notice that
c±,a:=^(1±(^,A)).
,....=, i±(.A),
(2.19)
(2.20)
In the simplylaced case Qi = q and c±i^x = 1 ± (?, A).
The degrees of the other crossings are determined from the rules above
deg
deg
deg
/
i
n
A^
^\\ ^
V J
i
/
Since both of these crossings have degree zero, we will refer to them as balanced crossings.
Proposition 2.6. deg(D, A) depends only on A and on the (i, j)pairing realized by D.
Thus, deg{D, A) is independent of the choice of a minimal diagram for a pairing.
Proof. Invariance under cancellation of Uturns can be shown as follows:
deg
/A + ix
V
A\
\ + ix
^(1 + (z. A)) + '^{l{^,X + r^)) = = de^
A\
Invariance of deg(D, A) under other isotopies of D is straightforward and is left to the
reader. Any two minimal diagrams of the same (i, j)pairing are related by a sequence of
isotopies and "triplecrossing" moves for various orientations, see examples below.
A ^
The invariance under these moves is manifestly obvious.
f2.211
D
13
Geometric interpretation of the bilinear form
14
From now on, for each (i, j)pairing we choose one minimal diagram D representing
this pairing and denote by p{i,j) the set of these diagrams. Recall the pairings (, ) and
(, ) on U from Section I2.1[
Theorem 2.7. For any i,j G SSeq and X, ft E X
Dep(i,.i) i£i
q^Y^'
f2.22)
where Kj is the number of icolored strands in D.
For example,
p{{j.+h+j.i),{+hi))
so that
A
(i5;(_,,+,„+,,_.)lA,i?(,,_.)lA) = (g^'.^++..^^ + g+.^^x) _^ _j^^ (2.23)
(ii>
^2(l(.A))^l+(,,A))^..,^^l+(,,A))^...,
(1  q^? (1  g.)
The product term in (12.221) is independent of D since 2K,i is the number of times label
i appears in the sequence ij.
Proof. The first equality in (I2.22p is obvious since EjIa is invariant under the involution
tl). For i, J, A, /i as in Theorem 12.71 define
{E,i.,E,i,)'=6,, y: ^'"^"''^ n ttz^
(2.24)
During the proof we view EjIa and Ejl^ in {Eilx,Ejl^)' as formal symbols rather than
elements of U, since we have not yet proved that (, )' descends to U. We want to show
{Eilx,Ejl^) = {Eilx, Ejlf^i)
for all i, j, A and /i.
The nontrivial case is A = /x. We can also interpret the formula {Eilx,Ejlfj)' = for
fj' y^ X via the sum of diagrams, since then the rightmost region must be colored by both
A and fi, which is not allowed.
14
Geometric interpretation of the bilinear form
15
Notice that in the absence of (i,j) pairings the right hand side of fl2.22p is zero, since
there are no diagrams to sum over. If the left weights of EjIa and Ejlx are different the
inner product (EjIa, Ej1\) = and (EjIa, Ejlx)' = as well since the set of (i,j) pairings
is empty in this case.
Assume that both i and j are positive. Then any minimal (i, j)diagram can be
isotoped to be braidlike, with the strands going upward:
Moreover, in this case k = m, otherwise p{i,j) is empty. The sum on the right hand side
of (12.221) describes the canonical bilinear form on U+ = f evaluated on Ei = Ei^ ■ ■ ■ Ei^
and Ej = Ej^ . . . E^^ , see [23 EZl [HI [IH •
In view of property (iv) of Lusztig's bilinear form, we obtain the following:
Lemma 2.8. U i, j are positive,
{Edx, EjUy = (Edx, EjU) (2.25)
for any A G X.
Thus, for positive i, j , the geometrically defined bilinear form (, )' coincides with (, ).
Lemma 2.9. Equation (12.221) holds for the pair (±u, j) if and only if it holds for the pair
{i,Tij)
Proof. Attaching a [/turn gives a bijection between p{±ii,j) and p{i, =FU)
D
li
D
We have
t ■ I
I ■ I
deg((j). A) = deg(D, A) + — (1 ± (z, /i T ix)) = deg(D, A)  — (1 ^ {^, /i)),
where the additional term matches the power of q in the formula p{l^E±i) = q^"^ E^il
D
15
Geometric interpretation of the bilinear form
16
The previous lemma implies that it is enough to check the equality
{Eax,Ejlxy=iEilx,EjU) (2.26)
when j is the empty sequence. The next three lemmas show that
(EilxAxY = (EdxAx) (2.27)
for any i and A.
Lemma 2.10. Equation (12.221) holds for all pairs ((— j)i,0) with i, j positive.
Proof. Bending up — j by adding Uturns transforms the pair ((— j)i, 0) to {i,j) for which
fl2:22) holds (see Lemma El]). We have
iE^j)ilx, 1a) = q'^iEdx, Ejlx), (^(,)aA, U)' = q'^iEdx, E^U)', (2.28)
where a is the power of q in the formula p{E_jlx+ix) = '^i.E^jlx+ix) = I'^^x+ixEj □
Lemma 2.11. For i,jGl,i^ j
{Ei'±i^ji"lx, 1a)' = {Ei'^i^ji"lx, 1a) (2.29)
if and only if
{Ei'^j±ii"lx, 1a)' = {Ei'^j^ii"lx, 1a). (2.30)
Proof. Attach a crossing at the ±i =F j location to a diagram D in p{i' ±2=1= ji", 0).
Tj ±i
The resulting diagram D' is minimal if the ±i and =Fj strands of D do not intersect.
Otherwise, it is not minimal, but the homotopy
will make it minimal (the orientations in the picture are for the +i — j case)
We get a bijection
pii'±^TJi",^)^pii'TJ±^i",^)
(2.31)
16
Geometric interpretation of the bilinear form 17
„.. „s .e .e.ee or . .a.a.„, .. a.. . ..e .. (X ^ ^ .. a.. ..
Hence,
{Ei'±i,pji"l\, 1a)' = (i?i'=pj±ij"lA, 1a)' (2.32)
Since Ei'^i^ji"lx = Ei'^jj^n'ilx in U, we see that
{Ei'±i^ji"l\, 1a) = {Ei'^j±ii"l\, 1a) (2.33)
and the lemma follows. D
Lemma 2.12. Assume {Eiii"l\, 1\)' = {Eiii"l\, 1\). Then
(E,'+,_,,"1a, 1a)' = (^i'+.^.i"lA, 1a) (2.34)
if and only if
(Ej'_j+ii"lA, 1a)' = (Ei'_j+ij"lA, 1a) (2.35)
Proof. Decompose the diagrams in p{i' + i — ii", 0) into three classes
(1) +i and —i strands do not intersect V J
+i — i
(2) +i and —i strands intersect
+i —i
(3) a strand connects +i and —i /'"^
+i —i
Likewise, decompose the diagrams in p{i' — i + ii", 0) into three classes:
'1) —i and +i strands do not intersect
—i +i
(2) i and +i Btrancb intersect ^^
i +i
(3) a strand connects —i and +i ^/^~\
—i +i
17
Geometric interpretation of the bilinear form 18
Set up a bijection
p{i' + i  a", 0) ^^p{i'  i + a", 0) (2.36)
that takes diagrams from class (1) in the first set to diagrams of class (2) in the second
set by adding a crossing, diagrams of class (2) to diagrams of class (1) by removing the
„ ( ^, X_. ) .  _ . ... ,3, . a_. . ... ,3, .. _. .e
orientation of the +i —i strand.
Let _Ej/+j_jj//1a = Ej'__j_j1^Ej"1a, that is, /i = A + i^ is the weight of the region to the
right of the strand near —i
We have in U
Sj'+JiJ"lA = £^i'i+M"lA + [(^,/^)]j£^i'j"lA (2.37)
Therefore,
(E,'+,_,i"lA, 1a) = (^i'.+.i"lA, 1a) + [(2,/i)].(^i'i"lA, 1a). (2.38)
Since deg ( y/ ^ j = deg ( \(' ^ j = 0, a diagram of class (1), respectively class
(2), contributes to {Ei>_^_i_ii'flx, 1a)' as much as its image in class (2), respectively class (1),
contributes to (£'j/_j_,_jj//1a, 1a)'
A diagrams of class (3) in p{i' + i — ii", 0) comes from some diagram in p{i'i", 0)
by adding a {+i — i) cap to the correct position. Similarly, a diagram of class (3) in
p{i' — i + ii" , 0) comes from a diagram in p{i'i" , 0) by adding a {—i + i) cap. Thus, the
only contribution to the difference (i?j/_,_j_jj//lA, 1a)' — (Ej/_j4.jj"1a, 1a)' comes from class (3)
and is given by
f i f^\
deg
{Ei'+iii"lx, l\)'{Ei'_i_^_ii"lx, 1a)' = , _ 2 {Ei'i"l\, 1a)' , _ 2 {Ei'i"^x, 1a)'
^ Hi ^ Hi
or
Qi '  Qi
(Ej'+i_ji"lA, 1a)' = (Ej'j+ii"lA, 1a)' + , i {Ei'i"l\, 1a)'
1?;
= {Ei' i+ii"l\., 1a)' + — Ti — (£^i'i"lA, 1a)'
QiQi
where the coefficient of (i?j'j/'lA, 1a)' in the last term is easily recognized as [(i,/i)]j, com
pleting the proof of the lemma. D
18
Geometric interpretation of the bilinear form
19
We can finish the proof that
(EJa, 1a)' = (^Ja, 1;
(2.39)
by induction on  i , the length of i. During the induction step we move all negative
entries of i to the left of all positive entries, sometimes adding terms {Ejlx, 1a)', respectively
(ii^jlA,lA) with II j 11 = 11 i II —2 to the equation. We can then reduce to the case when
all negative entries of i precede all positive entries, which is Lemma 12.101 Theorem 12.71
follows. n
We can turn this proof around to define U in a more geometric way than in Lusztig [23] .
Start with the (Q(g)algebra 'U with mutuallyorthogonal idempotents 1a and basis {Eilx}i^\,
over all finite signed sequences i G SSeq and A G X. The multiplication is
Ei'l^Eilx
Ei'ilx if/i = A + ix,
otherwise.
(2.40)
When i is the empty sequence, Eg 1a = 1a
Define a (Q(g)bilinear form (, )' on 'U via the sum over diagrams, formula (12.241) . Let
X C 'U be the kernel of this bilinear form. Then
X — ^ ^Xa,
,Ix:=In'Vx,
(2.41)
where ^^'Ua is spanned by EjIa for all i such that fi = X + ix It follows from the definition
of the bilinear form that X is an ideal of 'U.
It is not hard to check that
U = 'U/X and
(2.42)
following the above proof of Theorem 12. 7[ This definition is not too far off from Lusztig's
original definition, which utilizes f = U^, defined as the quotient of the free associative
algebra 'f by the kernel of a bilinear form on 'f . The latter bilinear form is the restric
tion of (, )' on 'U to 'f C 'U. Here we map 'f ^ 'U by sending 6i = di^ . . . 9i^ to
Eilx = E^i^ . . . E^i^lx for each positive sequence i (this map is not a homomorphism) ,
alternatively we can send 6i to E_ilx
algebras
vertical arrows \
do not respect I
^algebra structure/
Z[g,g ^]algebras
19
20
For each A G X there are two inclusions (corresponding to U^ and U ) of the lower half of
the diagram to the upper half. Restricting to weight spaces, we get the following diagram
a±!/x'Ua
'f
Ua <
X±ux ^ A
^ f,. ^
\±vx{a^)x
^ aI
A^v
Q(g)vector spaces
Z[g, g ^] modules
where x±y^1Jx = 1a±i.xU1a, etc.
3 Graphical calculus for U categorification
3.1 The 2category U
3.1.1 Definition
We define a 2category U for any root datum (Y,X, {,),.. .) of type (/, •). This 2category
has the structure of an additive khnear 2category, see [12] and [211 Section 5]. Thus the
hom sets between any two objects form a klinear category, and composition and identities
are given by additive klinear functors. The 2morphisms in U are represented graphically
using string diagrams, see [2T Section 4] and the references therein.
Definition 3.1. Let (Y, X, (,),...) be a root datum of type (/, ■). U is an additive klinear
2category. The 2category U consists of
• objects: A for A G X.
The homs U{X, A') between two objects A, A' are additive klinear categories consisting of:
• objectqj of W(A, A'): a 1morphism in U from A to A' is a formal finite direct sum of
1morphisms
Silx{t} = lySilx{t}
for any t G Z and signed sequence i G SSeq such that X' = X + ix
• morphismsofW(A, A'): for 1morphisms £^jlA{t},£^jlA{t'} &U, hom. sets U{Sil\{t},Sjlx{t'})
of U{X, A') are graded kvector spaces given by linear combinations of degree t — t'
diagrams, modulo certain relations, built from composites of:
^We refer to objects of the category U{\, A') as 1morphisms of U. Likewise, the morphisms of U{X, A')
are called 2niorphisms in U.
20
The 2category U
21
i) Degree zero identity 2morphisms Ix for each 1niorphism x in U\ the identity
2morphisms 1e+iX\{t} ^^^1 '\£_i\^{t}, for i G /, are represented graphically by
^£+ax{t}
^£ax{t}
\ + ix
A
\ix
A
deg
deg
and more generally, for a signed sequence i = 61116212 ■■■ ^mim, the identity
^£iix{t} 2morphism is represented as
H «2
\ + i
X
H «2 ^m
where the strand labelled ia is oriented up ii 6^ = + and oriented down if
6a = —■ We will often place labels with no sign on the side of a strand and
omit the labels at the top and bottom. The signs can be recovered from the
orientations on the strands as explained in Section 12.21
ii) For each A G X the 2morphisms
Notation:
1 1
T i,x
4i,A
X i,j,X
X( i,j,X
2morphism:
A + «x
<
. A
>
i
A 
<
'A + zx
•
i
X/
i^ Vi
Degree:
i ■ i
i ■ i
ij
i3
Notation:
^,A
^.A
^.,A
rx^^x
2morphism:
Va
Va
Or
lO
Degree:
C+J,A
Cj,A
C+J,A
Ci,A
21
The 2category U
22
with c±i^\ defined in (12.191) . such that the following identities hold.
The s[2 relationqj ( all of the strands are labelled by i):
i) l\^i^£^il\ and l\£^il\^i^ are biadjoint, up to grading shifts:
X + ix
\ + ix
A
A
A
A
ii)
A + «x
\ + ix
\ + ix
\ + ix
\ + ix
A
A
\ + ix
(3.1)
(3.2)
A \ + ix
A \J
(3.3)
\y X + ix
iii) All dotted bubbles of negative degree are zero. That is,
A A
= ifa<(i,A)l / \=0 ifa<(z,A)l (3.4)
a
for all a G Z+, where a dot carrying a label a denotes the afold iterated vertical
composite of f or i depending on the orientation. A dotted bubble of
degree zero equals 1:
A A
\y =1 for(i,A)>l, \y =1 for(z,A)<l.
{i,\)i
(*,A)1
iv) For the following relations we employ the convention that all summations are
increasing, so that X]f=o ^^ ^^^° if a < 0.
(i,X)l+f
^ The vertical iicrossing was represented by the diagram
crossing for simpHcity.
{f]
A
(*,A> '
• "
V,
=
E
~
^.. \
/=o
T \J
i
9=0 ^^— •
{i,\)l+g
{i,^)9
(3.5)
in [5T1 [22] . Here we use a standard
22
The 2category U
23
(i,A>l /
+
EE O
/=0 9=0 («,A>l+5
(^A)l /
A
1/
+
E EO
/=0 9=0 («.A>l+9
/9,
r>
(3.6)
A the dotted bubbles appearing
or
for all A G X. Notice that for some values o
above have negative labels. A composite of <
number of times does not make sense. These dotted bubbles with negative labels
called fake bubbles, are formal symbols inductively defined by the equation
i,A
with itself a negative
(k^)1 (iiAfl+l (i,A7l+a / \ («Va)1 {i,X)l+a
(3.7)
and the additional condition
A A
1 if {i, A) = 0.
1
Although the labels are negative for fake bubbles, one can check that the overall
degree of each fake bubble is still positive, so that these fake bubbles do not
violate the positivity of dotted bubble axiom. The above equation, called the
infinite Grassmannian relation, remains valid even in high degree when most of
the bubbles involved are not fake bubbles. See [21] for more details.
v) NilHecke relations:
(3.^
A
if i« if >* if >i if '*
A
(3.9)
We will also include 03. 101) for i = j as an s[2i'elation.
23
The 2category U
24
All 2inorphisnis are cycliqj with respect to the above biadjoint structure. This is
ensured by the relations (13.31) . and the relations
(3.10)
The cyclic condition on 2niorphisnis expressed by ( 13. 3p and ( ]3.10p ensures that
diagrams related by isotopy represent the same 2morphism in U.
It will be convenient to introduce degree zero 2morphisms:
X
V
y\^
where the second equality in (13. lip and (13.121) follow from (I3.10p .
For i j^ j
A
A
A
A
The i?(i/)relations:
i) For i ^ j
A
d,;.
dji
iUj=0,
^ iiij^ 0.
X^  X/ X/  X
(3.11)
(3.12)
(3.13)
(3.14)
(3.15)
"'See 21) and the references therein for the definition of a cychc 2niorphisni with respect to a biadjoint
structure.
24
The 2category U
25
ii) Unless i = k and i ■ j ^
(3.16)
For i ■ j j^
XI
a=0
(3.17)
For example, for any shift t there are 2niorphisnis
Va
i
, , : lA{t} => Si+ilx{t  C+i,x} /~\ • ^~i+dx{t} =^ lx{t  C^i,x}
i A
in U, and the diagrammatic relation
gives rise to relations in U^Smlxit}, Smlxit + 3i ■ i}) for all t G Z.
the additive klinear composition functor U{X, A') x U{X', A") ^ W(A, A") is given on
1morphisms of U by
£jlx'{t'} X £ilx{t} ^ £jilx{t + t'}
for ix = A — A', and on 2morphisms of U by juxtaposition of diagrams
(3.18)
\
/
\
25
The 2category U
26
Remark 3.2. By choosing an orientation of the graph associated to Cartan datum (J, ■)
the i?(i/)relations above can be modified by replacing them with signed R(z^) relations
determined by invertible elements Tjj, Tji chosen for each edge of the graph (see [T?j for
more details).
lA has graded 2homs defined by
YLOMu{x,y) := @YLomu{x{t},y).
tea
Also define graded endomorphisms
END2^(x) :=HOMw(a;,x).
(3.19)
(3.20)
The 2category with the same objects and 1morphisms as U and 2homs given by H0M2^(x, y)
is denoted W*, so that
W{x,y) = 'iiOMu{x,y). (3.21)
U* is a graded additive klinear 2category with translation PH Section 5.1].
3.1.2 Relations in U
We now collect some other relations that follow from those above. These relations simplify
computations in the graphical calculus and can be used to reduce complex diagrams into
simpler ones (see the proofs of Proposition 13.61 and Lemma [3. 9j) .
Proposition 3.3 (Bubble Slides). The following identities hold in U
A
E(« + i/)
{i,\+ix)l+f
af
iii= j
A+Jx
(i,\)l+a
(«,A+jx>l+a
A + Jx
+
{i,X+jx)~2+a
A+Jx
iiij = l
(i,X)l+a
iUj =
26
The 2category U
27
(«,A+ijs:)l+a
E (a + 1  /)
Q/
iii = j
{(i^)l)+f
+
((J,A>l)+al
A
((i,A>l)+a
if i j = 1
A
if i ■ j =
((i,A>l)+a
Proof. When i = j the proof appears in [21]. For i 7^ j the equation follows from decom
posing
A
A
A
A
1 f (i,A+jx)2+Q _(j,A+ix>2+(J'? 3 ^ (i,A+ix>l+" {i,A+ix>l+a^ ■?
using the relations fl3.13p and (13.141) . D
Proposition 3.4 (More bubble slides). The following identities hold in U
( A + ix
A
((i,A>+l)+(a2)
X + ix
((i,A>+l)+(al)
X + ix
({i,X)l)+a
X + Jx
E(iK
/=o
(i,A+jx>l+(a/)
((i,A> + l) + Q
/
iii = j
iUj = l
X + jx
{i,\+jx)l+a
X
{(i,A>l) + (a2)
+
(^(^,X)l)+(al)
A
if z = j
((i,A>l)+a
E(iK
/=o
/ A
if i j = 1
((i,A>l)+(a/)
27
Spanning sets of HOMs in U
28
Proof. These equations follow from the previous Proposition.
Proposition 3.5. Unless i = k = j we have
D
(3.22)
and when i = j = k we have
M. ^^
i i^ \ i S T
92,
A
+ i:
^ A
,^r\(i,A)l+g4
(3.23)
where the first sum is over all fi, f2, fs, Ia > with fi + f2 + fs + fi = {h ^) and the
second sum is over all gi,g2,g3,g4 > with gi + g2 + 93 + 94 = {i, ^) — 2. Recall that all
summations in this paper are increasing, so that the first summation is zero if {i, A) <
and the second is zero when (i, A) < 2.
Reidemeister 3 like relations for all other orientations are determined from (I3.16p . (13.171) .
and the above relations using duality.
Proof. For (13.221) ii i y^ j postcompose both sides with the isomorphism
X I
j k i
A
then use that i = j ^ k to apply (13.161) on the right term and establish the equality. If
i = j then we may assume that j ^ k. In this case we precompose with the isomorphism
I /V ,
i k j
then use (13.161) on the left side to establish the identity.
The case i = j = k appears in ^T\ Section 5.4].
D
3.2 Spanning sets of HOMs in U
Given two Laurent power series f{q) = J2k=a fkO.^ and h{q)
say that /(g) < h{q) if fk < hk for all k.
J2k=a ^ith fk, hk E Z we
3.2.1 Endomorphisms of 1^
For any root datum and A G X define a graded commutative ring IIa freely generated by
symbols
.A .A
^Qr for (i, A) > and Q^ for (i, A) < (3.24)
{i,X)~l+a {i,X)l+a
of degree ai ■ i over alH G / and a > 0.
28
Spanning sets of HOMs in U 29
Proposition 3.6. Interpreting these generators of IIa as elements of YiOViui^X) 1a) induces
a surjective graded kalgebra homomorphism
li^^YLOMuilxAx). (3.25)
Proof. By induction on the number of crossings of a closed diagram D representing an
endomorphism of 1a one can reduce D to a linear combination of crossingless diagrams
following the methods of [211 Section 8]. Crossingless diagrams that contain nested bubbles
can be written as linear combinations of crossingless nonnested diagrams using the bubble
slide equations in Propositions 13.31 and 13.41 Using the Grassmannian relations (13. 7p all
dotted bubbles with the same label i can be made to have the same orientation given by
(1321. □
The image of the monomial basis of IIa under surjective homomorphism fl3.25p is a
homogeneous spanning set of the graded vector space H0M;^(1a, 1a). Denote this spanning
set by 50,0, A.
Let
oo ^
"■ = 11111— 2^ P'^"'
jg/ a=l ^«
■ji depends only on the root datum (on the values oi i ■ i over all i E I). The graded
dimension of IIa is vr.
Corollary 3.7. gdim HOMiY(lA, 1a) < tt and H0Mz^(1a, 1a) is a local graded ring.
Remark 3.8. IIa is not Noetherian.
We call monomials in this basis of IIa and their images in H0M2^(1a, 1a) bubble mono
mials.
3.2.2 Horns between Silx and Sjlx for positive i and j
Recall rings i?(i^), for z/ G N[J], from [16], [17] and decomposition
^(^)= jRi^)i, (3.27)
i,jeScq{i/)
where jR{v)i is spanned by braidlike diagrams D with i, j being the lower and upper
sequences of D. Adding upward orientations to a diagram D in R(z/), placing it to the left
of a collection of bubbles representing a monomial in IIa
i
(J,A)l+ai (i,A>l+a3 4 J
(fc,A)l+05
(i,A)l + Q2 (j,A)l + Q4
29
Spanning sets of HOMs in U 30
and viewing the result as a 2niorphism from £il\ to £j'^\ induces a gradingpreserving
klinear map
V7i,,,A : jR{y)i ®k Ha — ^ ROMuiSilx, SjU). (3.28)
Lemma 3.9. v^ij,A is surjective.
Proof. Start with a diagram D that represents an element in H0M^(£^j1a,£^j1a) The
relations in our graphical calculus allow us to inductively simplify Z), by reducing the
number of crossings if a strand or a circle of D has a selfintersection or if D contains two
strands that intersect more than once. Bubble sliding rules allow moving bubbles to the
far right of the diagram. Eventually, D reduces to a linear combination of diagrams which
are products of diagrams representing elements oi jR{v)i and monomials in IIa. D
The elements in H0M^(£^j1a,^j1a) given by diagrams without circles, with no two
strands intersecting more than once, and with all dots at the bottom are precisely the
image under ^ij^\ of the basis jBi of jR(z/)j described in [16]. Denote by Bjj,a the image
under v^j^.a of the product basis jBi x {monomials in IIa} in jR{^)i ^ ^\ The lemma
implies that Bijx is a spanning set in ][iOyiu{£il\, £jl\) .
Let
£,lx:= ^flA, £ulx:= £ilx. (3.29)
«£Scq{v) JGScq(i/)
£ul\ and £yl\ are 1morphisms in U. Summing V5ij,A over all i, j G Seq(z/), we obtain a
homomorphism
^uX Ri.^) ®k Ha ^ END^(^aA) = Endi,.(^,lA). (3.30)
Proposition 3.10. Homomorphism (y9,^A of graded kalgebras is surjective.
D
Adding a downward orientation to a diagram D in R(z/), multiplying it by (—1)" where
a is the number of crossings of identically colored lines, and placing it to the left of a
collection of bubbles representing a monomial in IIa induces a surjective homomorphism
</p_,,A : R{y) ®k Ha ^ ENDi,(£_,lA). (3.31)
3.2.3 Spanning sets for general i and j
We now describe a spanning set Bij\ in HOM^^ (£^j1a,£^j1a) for any i,j,\. Recall that
p'{i,j) denotes the set of (i, j)pairings, and p{i,j) is a set of minimal diagrammatic
representatives of these pairings. For each diagram D & p{i,j) choose an interval on each
of the arcs, away from the intersections. The basis Bij^x consists of the union, over all D,
of diagrams built out of D by putting an arbitrary number of dots on each of the intervals
and placing any diagram representing a monomial in IIa to the right of D decorated by
these dots. Notice that Bijx depends on extra choices, which we assume are made once
and for all. For example, for i = {—j, +i, +j, —i) and j = (+i, — ?) the choice of minimal
30
Spanning sets of HOMs in U 31
diagrams is unique, see example following Theorem 12. 7[ The choice of intervals for the
dots is not unique, though. Choosing these intervals as shown below
+i —i
A
rrw
j +i +j i j +i +j i
results in the spanning set i?(__j,+j,+j _i),(+j _i),A whose elements are
(i,X)l+ai (j,A>l+a3 \_J
(J,A)1+Q2 {j,\)l+ai
0,2 az
r7v\ ^ ^
"^ ' '. ~^ bubble monomial in Il\
3 +i +3 ~i
(i,A)l+Qi (j,A>l+a3 \_J
(J,A)1+Q2 (i,A)l+a4
(fc,A>l+a5
"3
bubble monomial in Il\
J +i +J ~i
over all nonnegative integers ai, 02, 03 and over all diagrammatic monomials in IIa (bubble
orientations are for the case (i. A) > 0, (j. A) < 0, (/c. A) > 0).
Proposition 3.11. For any intermediate choices made, Bjj.a spans the kvector space
HOM^,(^aA,^,lA).
Proof. Relations on 2morphisms in U{S^lx) allow arbitrary homotopies of colored dotted
diagrams modulo lower order terms, i.e., terms with fewer crossings, fewer circles, etc.
Detailed discussion in [21], Section 8] generalizes to the present situation without difficulty.
D
For each s G Bij\ its degree deg(s) is an integer, determined by the rules in Section ISTTl
Proposition 3.12. For any i,j, and A
niEilx,EjU)= J2 ^'''^'^ (332)
sea
* 5 J , A
31
Spanning sets of HOMs in U 32
Proof. The LHS of the equation (13.321) equals vr times the RHS of the formula (12.221) . This
vr is matched in the RHS of (13.321) by the summation over all monomials in 11;^, since q
to the degree of these monomials add up to tt. The product term in the RHS of (12.22^ is
matched by the contribution to the RHS of (13.321) by all possible placements of dots. For
each ilabelled strand dots contribute
oo
E«
1  q" 1  ii
to the product, since the degree of a dot is z ■ i, and the sum is over all ways to put some
number a of dots on this strand. Finally, the sums over all minimal diagrams D G p{i,j)
give equal contributions to the two sides of (I3.32p . D
Remark 3.13. In view of the first equality in (12.221) . we can restate the above proposition
via (, ) in place of (, ) on the LHS.
Notice that
gdim,(HOM^,(£,l,,£:,l,)) = J2 ^"''^'^ (333)
if and only if Bij\ is a basis of B.OMu {Silx, Sjlx)
Corollary 3.14. For any sequences i,j and A G X
gdimk(HOM,,(^aA,^,lA)) < n{Eilx,Ejlx). (3.34)
Definition 3.15. We say that our graphical calculus is nondegenerate for a given root
system and field k if for all i,j, A the set Bjj,a is a basis of HOM^^ (^jIa, ^jIa)
Thus, a calculus is nondegenerate if the equality holds in Corollary 13. 141 for all i,j,X.
Remark 3.16. Nondegeneracy holds if the above condition is true for all A G X and all
pairs of positive sequences i,j.
3.2.4 Endomorphisms of £y _y'lA
For z/,i/' G N[J] let
^,,_,,1a:= Si^jlx. (3.35)
ieScq(i/)
Consider the graded ring E'NDu^S^^^'l x) ■ A spanning set for this ring is given by dotted
minimal diagrams of {i{—i'),j{—j'))pa.iYmgs over all i,j G Seq(i/), i',j' G Seq(z/') times
32
Spanning sets of HOMs in hi
33
bubble monomials in IIa.
A
(J,A>l+ai 0',A>l+a3 4 J"
(fc,A>l+a5
(J,A)l+a2 ~{j,\)l+a4.
Let Xu^ui^x be the subspace spanned by diagrams which contain a Uturn, i.e. an arc with
both endpoints on R x {1} or on R x {0}.
Proposition 3.17. Xy^_yi\ is a 2sided homogeneous ideal of END^(£^,^ _,^/1a) which does
not depend on choices of minimal diagrams for pairings.
Proof. Left to the reader.
D
Denote by R^^^^'^x '■= ^^^u{^u~u'^x)/^u,~u',\ the graded quotient ring, and by /3 the
quotient map. There is a homomorphism
a : R{iy) ®k i?(z/') ®k Ux ^ END^ (£:,,_,, 1a) (3.36)
given by placing diagrams representing elements in R{v), R{i^'), Ha in parallel
A
lY
(i,A)l+Ql (j,A)l+Q3 4 J
(k,\)l+a5
X l X («,A)1
o a
+02 (j,A)l+a4
orienting diagrams for R{i') upwards and diagrams for R(z^') downwards, and multiplying
by (—1)", where a is the number of crossings in D' of equally labelled strands. The
composition f3a of this homomorphism with the quotient map is surjective. The diagram
below contains an exact sequence of a ring, its 2sided ideal, and the quotient ring:
R{u) ® R{u') ® Ha
O^X,
u,~u',X
>END^(^,,_,.l
¥ Ru,u'x — > .
(3.37)
33
Properties and symmetries of 2category hi 34
Remark 3.18. If the graphical calculus is nondegenerate, j3a is an isomorphism, and the
sequence splits
y X.,.',A y YMJ^uiSu^u'U) ^ RW) ® R{iy') ® Ha y O. (3.38)
A split ring homomorphism induces a split exact sequence of Grothendieck groups [28l
Section 1.5]
>KoiIu,u',x) > Ko{ENDu{£u,u'lx)) < > Ko{R{u) R{u') ^U^) ^0 ,
Ko{a)
(3.39)
leading to a canonical decomposition of the middle term as the sum of its two neighbors.
3.3 Properties and symmetries of 2category U
3.3.1 Almost biadjoints
The 1morphism S+ilx does not have a simultaneous left and right adjoint Silx^i^ be
cause the units and counits which realize these biadjoints in U* are not degree preserv
ing. However, if we shift £ilx^i^ by {— c+j^a}, then the unit and counit for the ad
junction S^ilx H S^ilx+ix{~c+i^x} become degree preserving. More generally, we have
S^ilx{t} H Silx+ix{~c+i^x — t} inU since the units and counits have degree:
\^ 1 = c+,,A + (c+.,a) = (3.40)
i A /
deg ^r> = (ci,A+ix))  (c+.,a) = (3.41)
\ +i i {tc+i^xt}/
and still satisfy the zigzag identities. Similarly, £^ilx{t} has a left adjoint S_ilx+ix{c+i,\ —
t} in U. One can check that with these shifts the units and counits of the adjunction
S_ilx+ix{c+i,x ~ t} ~^ ^+i^x{t} become degree zero and are compatible with the zigzag
identities.
The left adjoint S^ilx+ix{c+i,x — t} and the right adjoint S^ilx+ix{~c+i^x — t} of
S^ilx{t} only differ by a shift. We call morphisms with this property almost biadjoint.
This situation is familiar to those studying derived categories of coherent sheaves on Calabi
Yau manifolds. Functors with these properties are called 'almost Frobenius functors' in
[Is] where several other examples of this phenomenon are also given.
It is then clear that S^ilx{t} and Silx{t} have almost biadjoints in U for all t G Z
and A G X with
Ia^jIa+jxI'^+J.A ~ ^ ^X+ix^+i^x{t} H ^X^i^X+ix{~'^+i,X —t} C^AO)
lA^+jlAixI'^i.A ^ ^ ^Xix^i^x{t} ~^ ^xS+i^Xix{~(^i,X — t} ■
34
Properties and symmetries of 2category U
35
Every lmorphisin in W is a direct sum of composites of £+il\{tYs and £il\{tYs together
with identities; by composing adjunctions as explained in [211 Section 5.5], the right and
left adjoints of £il\{t} can be computed. Thus, it is clear that all 1morphisms in U have
almost biadjoints.
Positivity of bubbles: W(1a, 1a{0) = if t > 0, andW(lA, 1a) is at most 1dimensional
(isomorphic to k if the calculus is nondegenerate).
3.3.2 Symmetries of W
We denote by U°^ the 2category with the same objects as lA but the 1morphisms re
versed. The direction of the 2morphisms remain fixed. The 2category IA^° has the same
objects and 1morphism as U, but the directions of the 2morphisms is reversed. That is,
U^°{x,y) = U{y,x) for 1morphisms x and y. Finally, U™°p denotes the 2category with
the same objects as U, but the directions of the 1morphisms and 2morphisms have been
reversed.
Using the symmetries of the diagrammatic relations imposed on U we construct 2
functors on the various versions of U. In Proposition 13.281 we relate these 2functors to
various Z[g, g~^](anti)linear (anti) automorphisms of the algebra U. The various forms of
contravariant behaviour for 2functors on U translate into properties of the corresponding
homomorphism in U as the following table summarizes:
2functors
Algebra maps
U^U
Z[g,g~^]linear homomorphisms
w>w°p
Z g, q^^ linear antihomomorphisms
u^w°
Z[g, g~^]antilinear homomorphisms
u ^ w=°°p
Z[g, g~^]antilinear antihomomorphisms
Rescale, invert the orientation, and send A ^* —A: Consider the operation on the
diagrammatic calculus that rescales the ucrossing ^>\ ■ ■ \^^ ~ /\ • • a ^°^ alH G / and
A G X, inverts the orientation of each strand and sends A ^^ —A:
/ +i +A:+fe 3 k j
00
\ +i +k +,
j k k +j +k +j
] ■!■ J ]
i k j +i +j +j
35
Properties and symmetries of 2category U
36
This transformation preserves the degree of a diagram, so by extending to sums of diagrams
we get a 2functor uj:U^U given by
A
u
A
(3.43)
It is straight forward to check that cj is a strict 2functor. In fact, it is a 2isomorphism
since its square is the identity.
Rescale, reflect across the yaxis, and send A
A:
The operation on diagrams
that rescales the iicrossing ^x^ ax^^ ~ /^ a x^*^"^ ^^ ^ ^ ^ ^"^^ A G X, reflects a diagram
across the yaxis, and sends A to —A leaves invariant the relations on the 2morphisms of
U. This operation
\
\ +i +k +j i j j
J
^j J i +3 +k +i
is contravariant for composition of 1morphisms, covariant for composition of 2morphisms,
and preserves the degree of a diagram. Hence, this symmetry gives a 2isomorphism
A ^ A
l^^si^S2 ■ ■ ■^Smi^SmlAl^l ^^ 1A^Sm^;
Sm — 1
■ Cs2^si L— ^i'/
and on 2morphisms a maps linear combinations of diagrams to the linear combination
of the diagrams obtained by applying the above transformation to each summand. The
relations on U are symmetric under this transformation, and ? is a 2functor. The square
of a is the identity.
Reflect across the xaxis and invert orientation: Here we are careful to keep track
of what happens to the shifts of sources and targets
^
/ +i +k+k j k 3{t'} \
\ +i +k +j i ~j j {t} )
+i +fc +i i j 3{t]
+j +k +k j k j{t'}
36
Properties and symmetries of 2category U
37
The degree shifts on the right hand side are required for this transformation to preserve
the degree of a diagram. This transformation preserves the order of composition of 1
morphisms, but is contravariant with respect to composition of 2morphisms. Hence, by
extending this transformation to sums of diagrams we get a 2isomorphism given by
A ^ A
(3.44)
and on 2morphisms ip reflects the diagrams representing summands across the xaxis and
inverts the orientation. Again, the relations on U possess this symmetry so it is not difficult
to check that ■?/' is a 2functor. Furthermore, it is clear that if) is invertible since its square
is the identity.
It is easy to see that these 2 functors commute with each other 'onthenose'. That is,
we have equalities _ _ _ _
uia = ua, aip = ipa, ujip = ip^ (3.45)
The composite 2functor ijjua is given by
A ^ A
l^£si£s2 ■£s^.i£s^'ix{t} ^ lx£s^£
^771 — 1
' ^—S2^Si^fJ,\ tj
and is given on 2morphisms by rotating diagrams by 180°.
The following transformation only differs from ipua by a shift and is given by taking
adjoints.
Rotation by 180° (taking right adjoints): This transformation is a bit more subtle
because it uses the almost biadjoint structure oiU, in particular, the calculus of mates (see
PT Section 4.3]). For each 1^x1 a G U denote its right adjoint by Ixyl^. The symmetry
of rotation by 180° can also be realized by the 2functor that sends a 1morphism I^sjIa
to its right adjoint IxV^fi and each 2morphism (:
adjunctions lf,xlx H IaZ/I^ and If^x'lx H Ixy'lf,
(*. Pictorially,
A'
r\
\J
A
'iiixix
lfj,x 1a to its mate under the
That is, ( is mapped to its right dual
A'
A
C*
A'
37
Karoubi envelope, lA, and 2representations 38
This transformation is contravariant with respect to composition of 1morphisms and 2
morphisms. We get a 2functor
A ^ A
C ^ C* (3.46)
where the degree shift t' for the right adjoint IxS^sm^s^i ' ' ^^~s2^sl^^i{—t + t"}, deter
mined by fl3.42p . ensures that r is degree preserving. Inspection of the relations for U will
reveal that they are invariant under this transformation so that r is a 2functor.
We can define an inverse for r given by taking left adjoints. We record this 2morphism
here.
A ^ A
C ^ X (3.47)
with degree shift t" determined from f l3.42p and the left dual *( of the 2morphism ( defined
in [211 Section 4.3].
Remark 3.19. The composition Ti/juja: U ^U gives 2isomorphism that fixes all diagrams
and only effects the grading shifts.
Remark 3.20. There are degree zero isomorphisms of graded k vector spaces
U\fx,y) ^ W*(x,r(/)i/), (3.48)
W{x,gy) ^ W{T~\g)x,y), (3.49)
for all 1morphisms /, g, x, y in U*, defined at the end of Section [3.1.11
3.4 Karoubi envelope, U, and 2representations
The Karoubi envelope Kar{C) of a category C is an enlargement of the category C in which
all idempotents split (see [211 Section 9] and references therein). There is a fully faithful
functor C ^ Kar{C) that is universal with respect to functors which split idempotents in
C. This means that if F: C — > P is any functor where all idempotents split in D, then F
extends uniquely (up to isomorphism) to a functor F: Kar{C) —>■ T) (see for example [4],
Proposition 6.5.9). Furthermore, for any functor G: C ^ V and a natural transformation
a: F ^ G, a extends uniquely to a natural transformation 5 : F => G. When C is additive
the inclusion C ^ Kar{C) is an additive functor.
38
Karoubi envelope, U, and 2representations
39
Definition 3.21. Define the additive klinear 2category U to liave tlie same objects as
U and liom additive klinear categories given by U{X,X') = Kar {U{X,X')). The fully
faithful additive klinear functors U{X, X') ^ W(A, A') combine to form an additive klinear
2functor U ^ lA universal with respect to splitting idempotents in the hom categories
W(A, A'). The composition functor U{X, A') x W(A', A") ^ W(A, A") is induced by the uni
versal property of the Karoubi envelope from the composition functor for U. The 2category
U has graded 2homs given by
HOM^(x,/)
0Hom^(x{t},/).
(3.50)
tGZ
Definition 3.22. A 2representation of W* is a (weak) graded additive klinear 2functor
^* : U* ^ M*, where A^* is a graded additive klinear 2category with a translation.
A 2representation of U is an additive klinear 2functor '^ : lA ^ M. that respects the
grading. This happens when there is an additive klinear 2functor M. ^ M.* ^ with M.* a
graded additive klinear 2category, making the diagram
U
^W
(3.51)
M
^M'
weakly commutative. Thus, to study 2representation oiU it suffices to study 2representation
of U* and then restrict to degreepreserving 2morphisms.
A 2representation of W is a additive klinear 2functor "$ : U ^ Ai that respects the
grading.
Let A^ be a 2category as above in which idempotents split. Any 2representation
"$*: U* ^ Ai* gives a unique (up to isomorphism) 2representation \1/: W ^ Ai. The
2functor ^ is obtained from \1'* by restricting to the degree preserving 2morphisms of W*
and using the universal property of the Karoubi envelope. This is illustrated schematically
below:
U*
M*^
restrict to
degree
2inorphisins
Karoubian envelope
Remark 3.23. The 2functors u, a, ip, r on U extend to 2functors on U, for which we
39
Direct sum decompositions 40
use the same notations. For example,
u:U ^ U
A ^ A
C ^ ^(C) (3.52)
and the other 2morphisms a, ip, and r are defined analogously. In particular, each 1
morphism in U has left and right adjoints.
3.5 Direct sum decompositions
Recall that £u^\ is the direct sum of £^j1a over all i G Seq(z/):
£,lx:= Silx (3.53)
Due to the existence of the homomorphism ip^^x in the formula (13.301) any degree idem
potent e of R{i^) gives rise to the idempotent y:>ij,x{e) of Sylx and to the 1morphism
{£^lx,'fu,x{e)) oiU.
Introduce idempotents
similar to the idempotent Cj^m in [HI Section 2.2] and [T7]. Define 1morphisms £^^_j(m) 1a
and 8_i{m)lx in U by
t+j(m)lA := [t+im.lx, e+i^rn) i — } , (3.54)
( 171(1 — m)i ■ il
£_i(m)lx ■= {£imlx,ei^rn) < ^ ^ > ■ (3.55)
As in [ini [I7 , we have direct sum decompositions
For any divided power sequence i = (eii^ ,6212 \ ■ ■ ■ i^m^m ) define
^jIa := (^••lA,ei),
40
Direct sum decompositions 41
where i is the sequence
{eih, ..., 6111,6212, ■ ■ ■ 6212, ■■■, 6mim ■■■, 6mim) = {{^IHT^ (£2^2)"' • • • (f^m^m)"™) ,
with term 6iii repeating ai times, term £2^2 repeating 02 times, etc., and
is the horizontal product of idempotents.
When interested in only one part of a sequence i, we write . . .i" . . . instead oi i =
% i" %" and E i" \\ instead oi Ei\\ = Si'i"i"'lx
Proposition 3.24. For each i,j & I, i ^ j, and A G X there are 2isomorphisms of
1morphisms in U
(37 ^...+j(2")+j + i('«+l2a) 1a — (^ O ^_j(2a + l)__j__j(d2a) 1a,
a=0 a=0
L^J LiJ
\JJ ^...j(2a)_j_j(d+l2a) 1a — ("T^ C^..._i(2o+l) _ j_ j(d2o) 1 A , (3.57)
a=0 a=0
where d = dij = —{i,jx)
Proof. These isomorphisms follow from categorified quantum Serre relations p^ Proposi
tion 2.13] and [T71 Proposition 6] between idempotents in rings R(i^), via homomorphisms
ip^^x and V2,.,A □
Proposition 3.25. For each i & I, X ^ X there are 2isomorphisms in U
Si'+i_ii"lx = Si'_i^ii"lx ®[{i,,j.)]i ^i'i"'^\ if {h A + i"x) >
Si'_i+ii"lx = Si'+i_ii"lx ®[(i,fj.)], Si'i"lx if {i, A + i"x) <
where /x = A + i'x
Proof. Set X + i"x = ^i. The decomposition Si'+i^a^lx = Si'i+w'lx ©[(i,/.)], ^i'j"lA for
(i, /i) > is given by 2morphisms in U
a : ^i'+in"lA ^ Si'_,^ii"lx ©[(i,M>]i ^j'i"lA (3.58)
a~ : £i'i+ii"'^x®[{i,ti)U £i'i"'^x ^ £i'+iii"'^x (3.59)
where a and a^^ consist of matrices of diagrams
a
'■I
"0
/i
a, := ^ (ui^+J for < s < {i, fi)  1,
a
41
Kq{IA) and homomorphism 7 42
Note that all bubbles that appear in as above are fake bubbles. One can check that
a~^a = Idr., ...I, and that aa~^ = Idg., .„i>ffi,, >,i, using the storelations (for details
see [2lj) Here we have taken
©[(i,^)] 1a = 1a{1  («, /i)} © ■ ■ ■ © lx{2s + 1  (2, /i)} © ■ ■ ■ lx{{i, fi)  1} (3.60)
so that a and a^^ have degree zero. The isomorphism £^j'_j+jj"1a — <£^j'+j_jj"1a ©[(i,^)]^
Si'i"lx for {i, X + i'x) < is given similarly (see [21]). D
Proposition 3.26. For each i,j & I, i ^ j, X & X there are 2isomorphisms
S...+i.j..lx = S...j+i..lx (3.61)
Proof. The degree zero 2isomorphism S,,,+ij,,l\ = S,,,^j^i,,lx for i ^ j is given by maps
i/%^i ■ £...+ij...'^x ^ S,„^j+i„lx
.'%<' A : £,,_j+j...1a — > £^...+j_j...1a
To see that these maps are isomorphisms use (I3.13p . D
3.6 Kq{U) and homomorphism 7
Kq{U) can be viewed as a preadditive category or, alternatively, as an idempotented ring.
When thought of as a category, it has objects A, over all A G X. The abelian group of
morphisms Ko(U{X, //)) is defined as the (split) Grothendieck group of the additive category
U{X,fi). The spht Grothendieck group Ko{A) of an additive category A has generators
[P], over all objects P of A, and relations [P] = [P'] + [P"] whenever P = P' ® P". In the
case of U{X, n) the generators are [£ilx{t}, e], where /x = A + ix, t G Z, and
e e End^(faA{i}) = End^(^aA) = End^,(faA) (3.62)
is an idempotent (degree zero idempotent when viewed as an element of the larger ring
ENDiY(^jlA)) The defining relations are
[£ilx{t}, e] = [£Ax'{t'}, e'] + [£inlx"{t"}, e"] (3.63)
whenever there is an isomorphism in U{X,fi)
i£ilx{t}, e) ^ {£i'lx'{t'}, e') © (^^IaI^"}, e") (3.64)
Moreover, Kq(U{X, fi)^ is a Z[g, g~^]module, with multiplication by q coming from the
grading shift
[£ilx{t + 1}, e{l}] = q[£ilx{t}, e]. (3.65)
We write [^^jIa] instead of [^^jIa, 1], where 1 is the identity 2morphism of ^^jIa.
42
Kq{U) and homomorphism 7 43
The space of horns between any two objects in U{X,fi) is a finitedimensional kvector
space. In particular, the KrullSchmidt decomposition theorem holds, and an indecompos
able object oiU{X,fi) has the form {Silx{t},e) for some minimal/primitive idempotent
e. Any presentation of 1 = ei + ■ ■ ■ + Ck into the sum of minimal mutuallyorthogonal
idempotents gives rise to a decomposition
k
Silx{t}^^{Silx{t},er) (3.66)
r=l
into a direct sum of indecomposable objects of W(A, /i). Any object of W(A, /i) has a unique
presentation, up to permutation of factors and isomorphisms, as a direct sum of indecom
posables. Choose one representative b for each isomorphism class of indecomposables, up
to grading shifts, and denote by B{X, fi) the set of these representatives. Then {[b]}b is a
basis of Kq(U{\, fi)^, viewed as a free Z[g, g~^]module. Composition bifunctors
U{X, A') X W(A', A") — > U{\ A") (3.67)
induce Z[g, g^^]bilinear maps
Kq{U{\ A')) ® Ko{Ui\', A")) ^ Ko{Ui\, A")) (3.68)
turning Kq{U) into a Z[g, g^"'^]linear additive category with objects A G X. Alternatively,
we may view Kq{U) as a nonunital Z[g, g~^]algebra
i^o(W)(A,/i) (3.69)
with a family of idempotents [1a]. The set B := ^^ ^^ B{\, fi) gives rise to a basis
[B] := {[&]}fe£g of idempotented Z[g, g~^]algebra Kq{U). Notice that basis elements are
defined up to multiplication by powers of g; we will not try to choose a canonical grading
normalization here. Multiplication in this basis has coefficients in N[g, g~^].
Both _4U and Kq(U) are idempotented Z[g, g^^]algebras, with the idempotents 1a and
[1a] labelled by A G X. To relate the two algebras, send 1a to [1a] and, more generally,
Eilx to [Silx] for all i G SSeqd.
Proposition 3.27. The assignment Eilx — > [^i'ix] extends to Z[g, g^^]algebra homo
morphism
7:^U^i^o(W). (3.70)
Multiplication by q corresponds to the grading shift {1}.
Proof. Kq{U) is a free Z[g, g^^]module, so it is enough to check that the assignment above
extends to a homomorphism of Q(g)algebras
7Q(g) : t^KoiU) ^nmi] Q{q) (3.71)
43
Kq{IA) and homomorphism 7
44
(^U is also a free Z[g, g~^]module, but this fact is not needed in the proof). Propo
sitions 13.241 I3.25[ and 13.261 show that defining relations of U lift to 2isoniorphisms of
1morphisms in U and, therefore, descend to relations in the Grothendieck group Kq{U).
Restricting 7(Q(g) to yiU gives a homomorphism of Z[g, g~^]algebras with the image of the
homomorphism lying in Kq{U). D
For each X, fi & X homomorphism 7 restricts to a homomorphism of Z[g, g^^]modules
(3.72)
l^UU)lA^i^o W(A,/i)
Proposition 3.28. Homomorphism 7 intertwines (anti) automorphisms ip, uj, a, r of ^U
with (anti) automorphisms [ip], [uj], [a], and [r] of Ko(U), respectively, i.e., the following
diagrams commute.
jSJ—r'Koiu)
^t^KoiU)
^U^Ko(W)
_^ij^KoiU)
jSj—T'KoiU)
jSj^^Mu)
m
j^lJ^KoiU)
[ip] denotes the induced action of ip on the Grothendieck group, etc.
Proof. The proof follows from definitions and our construction of 7.
The 2isomorphisms u), a, ip on U* give isomorphisms of graded kvector spaces
U*{x,y) ^ W{u{x)My)),
U*{x,y) = {Wr{ajx),a{y)) = U* (ajx) My)) ,
U*{x,y) = {Wr{ij{x)My)) = W{^{y),i^{x)).
On Grothendieck rings these isomorphisms give equalities
D
(3.73)
(3.74)
(3.75)
{x,y)
{x,y)
{x,y)
{u;{x),u;{y)),
{a{x),a{y)),
{ip{y),ip{x)),
(3.76)
(3.77)
(3.78)
(3.79)
which should be compared with Propositions 26.1.4 and 26.1.6 in [21] and property (v) of
the semilinear form. The last equality expressed in terms of the bilinear form (, ), with x
replaced by ip{x), gives the identity {x,y) = {y,x).
44
Idempotented rings 45
3.7 Idempotented rings
An idempotented ring A is an associative ring, not necessarily unital, equipped with a
system of idempotents {Ix}, over elements x of some set Z. We require orthogonality
Ixly = Sx,ylx and decomposition
A = lyAl,. (3.80)
x,y£Z
By a (left) Amodule we mean an Amodule M such that
M = 01,M. (3.81)
xez
In this paper three collections of idempotented rings appear:
• Lusztig's U and its integral form _4U. Here Z = X, the weight lattice,
U = VUIa, ^U = 1^(^U)1a. (3.82)
• The Grothendieck groups Ko^KariU*)) and Ko(U), the latter defined in Section [321
Again, the parameterizing set Z = X. We only study
^o(Z^)= [l^]iro(W)[lA], (3.83)
x,nex
with {[lA]};^gj(^ being the system of idempotents in Kq{IA). Map 7: ^U — > Kq{U) is
a homomorphism of idempotented rings.
• For each A, /x G X the Zgraded ring
^Ul := ^ROMu{Silx,SjW, (3.84)
where the sum is over all i,j G SSeq with ix,jx = A — /i. Thus, the sum is
over all sequences such that Eil\, Ejl\ have left weight ^. The parameterizing set
Z = {i E SSeq \ ix = \ — /i}.
The category U{X,fi) is equivalent to the category of right finitelygenerated graded
projective ^W^modules and grading preserving homomorphisms. The equivalence functor
W(A, /i) — > pmod^W; (3.85)
takes Silx to
jez
45
Surjectivity of ^ 46
and, more generally, an object {£ilx,e) to
^Ae^=0HOM^((^aA,e),£:,lA).
The Grothendieck group Kq(1A{X, /i)) is isomorphic to the Grothendieck group of pmod— ^WjJ^
Notice that we get idempotented rings from the 2category 14 in various ways:
1) as the Grothendieck ring/preadditive category Kq{U) of W,
2) as rings associated to categories U{X,fi).
The 2category U can itself be viewed as an idempotented monoidal category. We
encode these observations into a diagram
(small) preadditive idempotented additive
2categories monoidal categories
Grothendieck // \\ Categories/rings of
category/ring   homs between objects
(small) preadditive categories < > idempotented rings
3.8 Surjectivity of 7
To prove surjectivity of 7 we will analyze the diagram of /^groups and their homomor
phisms induced by the diagram fl3.37p and trace minimal idempotents there, but first recall
some basics of Grothendieck groups of finitedimensional algebras (as a model example)
and graded algebras.
3.8.1 Kq of finitedimensional algebras
A homomorphism of rings a : A ^ B induces a homomorphism of /^ogroups
Ko{a):Ko{A)^Ko{B)
of finitelygenerated projective modules. For definition and properties of Kq we refer the
reader to [28], [321 Chapter II].
Assume that A and B are finitedimensional kalgebras, for a field k, and a is a k
algebra homomorphism. If a is surjective then KQ{a) is surjective as well. On the level
of idempotents, if 1 = ei + ■ ■ ■ + e^ is a decomposition oi 1 E A into a sum of mutually
orthogonal minimal idempotents, then Acs is an indecomposable projective Amodule,
46
Surjectivity of^ 47
Ko{A) is a free abelian group with a basis {[Ae^jlrgs, for a subset S C {1, . . . , k}. S is
any maximal subset with the property that Acs ^ Aet as left Amodules for any s,t & S,
s ^ t. Applying a to the above decomposition results in the equation
B3l=a{ei) +  + a{ek). (3.86)
where each a{es) is either or a minimal idempotent in B. Relabel minimal idempotents so
that a(ei), . . . , a{em) 7^ 0, a(em+i) = ■ ■ ■ = a(efc) = (elements of S get permuted as well).
Then 1 = a(ei) +  ■ ■ + a{em) is a decomposition of 1 G B into a sum of mutually orthogonal
minimal idempotents, Ba{er) is an indecomposable projective Bmodule, 1 < r < m, and
{[Ba{er)]}resn{i,...,m} (3.87)
is a basis of Kq{B).
Remark 3.29. If A is a finitedimensional kalgebra, the quotient map A — > A/ J {A),
where J{A) is the Jacobson radical of A, induces an isomorphism of KQgioxvps
Kq{A)^Kq{AIJ{A)). (3.88)
Indeed, J{A) is a nilpotent ideal, J{A)'^ = for sufficiently large A^, and the quotient by
a nilpotent ideal induces an isomorphism of A'o's, see [32l Chapter II, Lemma 2.2].
Proposition 3.30. If A, B are finitedimensional kalgebras such that all simple A and
i?modules are absolutely irreducible over k, then
KoiA)0^KoiB) = KoiA0tB) (3.89)
via an isomorphism which takes [P] ® [Q] for projective A, respectively B, modules P and
Qto [P(S)tQ].
Proof. By passing to A/J{A), B/J{B) and using the above remark, we reduce to the case
of semisimple A and B. Then both A and B are finite products of the field k and the
proposition follows. D
3.8.2 Kq of graded algebras
From here on we only consider Zgraded kalgebras, for a field k. For a Zgraded kalgebra
A = (Bae^Aa denote by Ko{A) the Grothendieck group of finitelygenerated graded left
projective Amodules. ^"0(^4) is a Z[g, g~^]module.
Throughout this subsection we assume that all weight spaces Aa are finitedimensional,
and the grading is bounded below: Aa = for all a C 0.
Let PI{A) be the set of isomorphism classes of indecomposable graded projective A
modules, up to a grading shift. We can normalize the grading and choose one representative
Q for each element of PI {A) so that is the lowest nontrivial degree of Q. We write
Q e PI{A).
47
Surjectivity of^ 48
Proposition 3.31. For A as above, Ko{A) is a free Z[g, g~^]module with tlie basis
{[Q]}Q&PIiA)
Proof. Since each weight space of A is finitedimensional, the KrullSchmidt property holds
for graded projective finitelygenerated Amodules. Any such module has a unique, up to
isomorphism, decomposition as a direct sum of indecomposables, and Kq{A) is a free
abelian group with a basis labelled by isomorphism classes of indecomposable projectives.
Boundedness of A from below ensures that an indecomposable projective is not isomorphic
to itself with a shifted grading, implying that Kq{A) is a free Z[g, g~^]module and the rest
of the proposition. D
We say that a 2sided homogeneous ideal J of A is virtually nilpotent if for any a ^TL
the weight space {J^)a = for sufficiently large N.
Proposition 3.32. For A as above and J a virtually nilpotent ideal of A the quotient
map A — >A/J induces an isomorphism Ko{A) = Kq{A/ J).
Proof. Proposition follows from the lifting idempotents property. This is the graded version
of Lemma 2.2 in [321 Chapter 2]. D
Proposition 3.33. Let a : A — >B be a surjective homomorphism of finitedimensional
graded kalgebras. Then the induced map K^la) is surjective.
Proof. The argument is essentially the same as in the nongraded case discussed earlier.
In the bases of Ko{A) and Ko{B) given by indecomposable projective modules, the map
Ko^a) sends some basis elements of Ko{A) to and the rest go bijectively to the basis of
Kq{B) (possibly after grading shifts). D
Finally, we discuss Kq of graded idempotented algebras. Let A be an associative graded
kalgebra, possibly nonunital, with a family of mutuallyorthogonal degree idempotents
Ix & A,x E Z, such that
A = (^^y lyAlx
x,y€Z
(compare with the definition of idempotented ring in Section ISTTj) . We say that A is a graded
idempotented kalgebra. By a graded finitelygenerated projective Amodule we mean a
homogeneous direct summand of a finite direct sum (with finite multiplicities) of graded
left Amodules Al^jt}, over x E Z and t G Z. By Ko{A) we denote the corresponding
Grothendieck group, which is again a Z[g, g"^]module.
We assume that for each x,y E Z the graded k vector space lyAl^ is bounded below
and has finitedimensional weight spaces.
Proposition 3.34. For A as above, Ko{A) is a free Z[g, g^^]module with a basis given
by isomorphism classes of indecomposables, up to grading shifts.
Proof. The proof is essentially the same as that of Proposition I3.31[ The difference is in
the absence of a canonical grading normalization for a representative Q of an isomorphism
class of indecomposables up to grading shifts. This normalization can be chosen ad hoc,
of course. D
48
Surjectivity of ^ 49
3.8.3 A triangle of A^o's
We will work in the graded case, so that the rings are Zgraded and Kq are Z[g,g~^]
modules. Consider the diagram of Z[g, g~^]modules
Ko{a)
Ko{ENDui£,,,>lx)) ^^i?o(i?.,.',A) (3.90)
given by applying the Kq functor to the commutative triangle in fl3.37p .
Recall that in [HI [17] we constructed an isomorphism of Z[g, g~^]modules
Ko{R{iy)) = Afu, (3.91)
where j^^^, is the weight u summand of the 7j[q, g~^]algebra ^if . Likewise,
Ko{R{u'))^J,,. (3.92)
i?(z/), respectively R(z/'), is a free finite rank graded module over its center Z{R{v)) =
Sym(i/), respectively Sym(z/'), isomorphic to the kalgebra of polynomials in several homo
geneous generators, all of positive degree. Hence, R{i^) ® R{^') C?) 11^ is a free finite rank
graded module over the central graded polynomial algebra Sym(z/) ® Sym(z/') ® H^. This
algebra contains a homogeneous augmentation ideal Sym"*" of codimension 1. Let
J = [R[u) ® R[u') ® Ha) Sym+ (3.93)
be the corresponding 2sided ideal of R^u) ®R(z/') ®Yi\, and consider the quotient algebra
R ■= R{u) ® R{u') ® Ux/J = [r{u)/ {R{u) ■ Sym+(z/)) ) ® [rW)/ {R^) ■ Sym+(z/')) ).
(3.94)
i? is a finitedimensional kalgebra, and the quotient map
a' : R{u) R{u') O Ha — > R (3.95)
induces an isomorphism of i^ogroups
KQ{a') : KQ{R{y) ® RW) ® Ha) ^ MR), (3.96)
since the ideal J is virtually nilpotent, see Proposition 13.321
We proved in [161 [I3 that any simple graded i?(z/)module is absolutely irreducible for
any field k, same for simple graded i?(i/)/(i?(i/)Sym"'")modules. Also note that A'o(nA) =
Z[g, g"^], since IIa is a graded local ring. The chain of isomorphisms
Ko{R{u) ® R{u') ® Ha) = MR) = MR{^)) ® MRW)) = A^u ® a^w (3.97)
establishes the following result:
49
Surjectivity of ^
50
Proposition 3.35. There is a canonical isomorphism
Kq {R{u) ® R{u') ® Ux) = Ai. ® A^u' (3.98)
induced by isomorphisms Kq^R^u)) = js^y and Ki^{R{y'y) = js^yi constructed in p^ [T7].
This proposition gives us a grip on the top term in the diagram (13.901) .
Proposition 3.36. Ki^(^l5a) is surjective.
Proof. Since /3a is surjective, [3a{J) is a 2sided ideal of R^^^^'^x Start with a commutative
square of surjective algebra homomorphisms
R{u) ® R{u') ® H;
/3a
»■ Ru.u'.
/J
R
^ R
u,u'X
/f3a{J)
/iPaiJ))
and apply functor Kq to obtain a commutative diagram
iro(i?(i/)®i?(z/')®nA)
/J
i^o(i?)
i^o(/3a)
//3a(J)
'4'
> iro(i?.,..,A/(/3a(J)))
The vertical arrows are isomorphisms since J and (3a{J) are virtually nilpotent ideals. The
bottom arrow is surjective, by Proposition 13.331 since R and Ruu',x are finitedimensional
over k. Surjectivity of the top arrow follows. D
Corollary 3.37. Kq{(3) is surjective.
These observations are summarized in the following enhancement of fl3.90p
Ko{R{y) ® R{y') ® Ha) = ^f. ® a^w
Ko{a)
Koil3a)
Ko{ENDui£,,,'lx))
KoiP)
^KoiR,
v,v'\)
(3.99)
50
Surjectivity of ^
51
3.8.4 Idempotents in U
Let 1 = ei + ■ ■ ■ + Cfc, respectively 1 = e'^ + ■ ■ ■ + e'y, be a decomposition of 1 G
End^(£^,ylA) = R{i^)o, respectively 1 G Endi^^S^^/lx) — R{^')o, into the sum of minimal
mutuallyorthogonal idempotents. Here R(z/)o denotes the degree subalgebra of R^u).
Each term in the decomposition
k k'
r=l r'=l
(3.100)
of 1 G R{i^) ^Ri^u') Ha is a minimal degree idempotent, in view of discussion preceding
Proposition 13.351
Let
Cr^r' ■■= a [tr ® c'., O 1) G End^(£:^ _^.1a) (3.101)
be the corresponding idempotent in the endomorphism algebra of £^i^ _,^'1a which may not
be minimal. We can decompose
k(T,r')
E
(3.102)
into a sum of minimal mutuallyorthogonal degree zero idempotents try^r" € E'^'^u^fvv'^x)
Homomorphism (5a induces a surjection of Grothendieck groups and maps each min
imal idempotent e^ ® e'^, ® 1 either to or to a minimal degree idempotent in Ruu',x
(Proposition I3.36J ). Consequently, for each {r,r',r") the image /3{eryy) is either or a
minimal idempotent in Ry_yi\. Moreover, for each {r^r') at most one of f3{eryy) 7^ in
Ri,u\\ We can relabel idempotents so that /3(ej.,r',i) 7^ and P{eryy) = for r" > 1
whenever Pa{er ® ej,, ® 1) 7^ 0. Necessarily, P{eryy) = for all r" if Pa{er ® e^, (g) 1) = 0.
If P{er ® e^, (8> 1) = then Cryy G Iuu',\ A homogeneous element a G Iu,u',x can be
written as a finite sum a = Yl^=i (^'s^s, where a^, a'^ are homogeneous.
a'^ G U*{Si(s)l\,Sy^^i,l)
(3.103)
as G U* {Sy^^ylx, Si(s)l\) ,
and i(s) G SSeq with  i(s)  <  ^^  +  J'' \\ Indeed, an element of Xj^ _i//,a can be
written as a linear combination of diagrams with fZturns. Cutting each diagram in the
middle allows us to view it as composition
£u,v'^>
Si(s)'^X
^u,~u'^>
with the length  i(s) \\ of the sequence i(s) strictly less than the sum of lengths
+ II ^' II
51
Surjectivity of ^ 52
Choose such a decomposition for each
u
dr^T' ,r" £ 1u,—u',\) (ir,r' ,r" ^ / CLgCLg, (3.104)
s=l
where in the notations we suppress dependence of u{r, r', r"), as{r, r', r") and a^(r, r', r") on
the three parameters. Multiphcation by er^r',r" is the identity endomorphism of {Ey^^yilx, Cryy).
We can view this indecomposable 1morphism of U as an indecomposable projective mod
ule (call it P) over the graded idempotented ring ^U^, ft = X + ux — ^'x Then the identity
endomorphism of P factors through projective module Q corresponding to the direct sum
Id
for some tg G Z. Therefore, P is isomorphic to a direct summand of Q, and the 1morphism
{Suu''^x,^r,r',r") oi U is isomorphic to a direct summand of ^^^iSi(s)^x{ts}
Define the width  P \\ of an indecomposable 1morphism P G Ob(W(A,/i)) as the
smallest m such that P is isomorphic to a direct summand of Silx{t} for some i G SSeq,
II i 11= m and t G Z.
For example, if P has width 0, then P is isomorphic to a direct summand of 1a{0
for some A and t. Onemorphism 1a{0 is indecomposable, since its endomorphism ring
U{l\{t},lx{t}) = k, or (a possibility if the calculus is degenerate). This implies that
any width zero 1morphism is isomorphic to 1a{0
Lemma 3.38. If P has width m then P is isomorphic to a direct summand of Sy^y'lx{t}
for some u, z/' G N[/],  z^  +  z^' = m, A G X, and t G Z.
Proof. Ifijj G I audi = i'—ilji" has length ?7i, then Pis direct summand of £^jlA{t} if an
only if it is a direct summand of Si'^j_ii"l\{t}. Indeed, these two 1morphisms are either
isomorphic (if i ^ j) or differ by direct summands Si'i"l\{t'}, all whose indecomposable
summands have width at most m — 2, and thus cannot be isomorphic to P. By assumption,
P is isomorphic to a direct summand of Sil\{t} with  i \\= m. Moving all positive
terms of i to the left of all negative terms produces a sequence j{—j') with j,j' positive,
II J II + II J' \\— ""^ ^^d P being a summand oi Sj(^^j^l\{t}. But this 1morphism is a direct
summand of Si^^^iyrlx{t} with u, respectively z/', being the weight of j, respectively j'. D
Proof of Theorem \l.l[ We show that [P] is in the image of 7: ^U ^ Kq{U) by induction
on the length of P. Let P have length m. Then P is a direct summand of S,y^^'l\{t} for
z/, z/' as above. By shifting the degree of P down by t, P = {Suu''^x,€.r,r',r") for at least
one minimal idempotent Cryy. We must have r" = 1 and l3{eryy>) 7^ 0, for otherwise P
is isomorphic to a direct summand of ^gSi(s)lx{ts}, and since  i(s) \\= m — 2, the width
of P is at most m — 2, a contradiction. Thus r" = 1 and [3{eryy) 7^ 0.
We have
[P] = [£:,,_,,! A, e,,,.,i], (3.105)
52
Injectivity of 'y in the nondegenerate case 53
and
k{r,r')
/ ^ [£uu''iX,er,r',r"] = [£uu''^X,er,r'], (3.106)
r"=l
from (13.1021) . For r" > 1 we have P{eryy) = 0, and {£i,^^tj'lx,eryy') is isomorphic to
a direct summand of a finite sum of Sil\{t}, for sequences i of length m — 2. Each
indecomposable summand of {£u^'l\,er,r'y) has length at most m — 2. By induction
hypothesis, [S^^^^'lx,eryy] belongs to the image of 7 for all 2 < r" < k{r,r'). Thus,
k{r,r')
[P] = [Si,yil\,ery,l\ = [Si,yil\,ery] — 2_^ [£uu''^\,^ryy'] G [Suy'l\,ery] +7(ytU).
r"=2
It now suffices to show that [£yyilx, Cry] belongs to image of 7. But the idempotent
Cry is the image oier®er'®l in Riy) ® Riy') ®Yi\, and the Grothendieck group of the latter
is isomorphic to A^iy) ® A^i.^') Therefore, [£uu',^ry] is in the image of A^iy) ® A^i.^')
under the composition map
^f(i/)^^f(z/') ^1,(^U)1a ^^i^o(W(A,/i))
x(^y V x+ylx,
X ^— *> x"*" : A^i.^) ^ U^,
y'^y'^ ■■ A^W) — ' U".
This completes the proof of surjectivity of 7. D
3.9 Injectivity of 7 in the nondegenerate case
Assume that our graphical calculus is nondegenerate for a given root datum and field k,
so that Bjj,A is a basis of H0Mz^(£^j1a,£^j1a) for all i, j and A. Then
gdim HOM,, {Edx, £^lx) = $^ g* dim^U{£dx{t}, £jlx). (3.107)
Since the calculus is nondegenerate,
gdmi}10Mu{£ilx.£jlx) = T^{Eilx.Ejlx). (3.108)
and EjIa, over all i. A, span U, the Q(g)algebra homomorphism
7q(,) : U ^ Ko{U) ®^[,,,i] Q(g) (3.109)
53
54
intertwines the Q(g)seniilinear forms 7r(, ) on U and gdim HOMi^(,) on Kq. The latter
form, which we denote (, )^, is given by
(in [Q])^ ■■= $^g*gdim(W(P{t},Q)) (3.110)
tea
for any two 1morphisms P,Q E U{X,^), and extends to the entire Kq{U) ®'&[q,q'^] Q(q')
via (Q(g)semihnearity and the orthogonahty condition (a;,y)^ = for x G Kq(IA{\, jj)) ,
y G Kq(U{X', fi')) unless A = A' and fi = /i'.
By Proposition 12.51 (, ) is nondegenerate on U. Therefore, 7(Q(g) is injective, implying
that 7 is injective.
n
4 Categorification of U for si
4.1 Forms of quantum sin
We consider various forms of the quantized enveloping algebra of s[„ corresponding to the
root datum of the Dynkin graph
12 3 nl
o o o ■ ■ ■ o
For this root datum, any weight A G X can be written as A = (Ai, A2, . . . , A„_i), where
X, = {t,X)
The algebra Uq(s[„) is the Q(g)algebra with 1 generated by the elements Ei, Fi and
i^j ^ for i = 1,2, . . . ,n — 1, with the defining relations
K,K' = K'K, = 1, K,K, = K^K„ (4.1)
K,E,K^ = q'^E^, K,F,Kr' = q'^F^, (4.2)
where i ■ i = 2, i ■ j = —1 ii j = i ±1, and i ■ j = otherwise,
E,F,  F,E^ = 6,, ^'~\ , (4.3)
q — q~^
E^E, {q + q')E,EjEi + EjE^ = if j = z ± 1, (4.4)
F^F, {q + q')F,FjF, + F,F^ = iij=t±l, (4.5)
E,Ej = EjE„ F,Fj = F,F, if ^  j > 1. (4.6)
Recall that U(s[„) is obtained from Uq(s[„) by adjoining a collection of orthogonal
idempotents 1a indexed by the weight lattice X of sin,
Ixlx' = Sxx'lx, (4.7)
54
The 2category l{^{sln) 55
such that if A = (Ai, A2, • . . , Xni), then
K,lx = lxKi = q^'lx, E^lx = lx+i^E,, Fdx = lxixFi, (4.8)
where
{(Ai + 2, A2  1, A3, . . . , A„_2, A„_i) if i = 1
(Ai,A2,...,An2,A„_i  l,A„_i + 2) ifi = nl (4.9)
(Ai, . . . , Ai_i  1, Ai + 2, Ai+i  1, ... , A„_i) otherwise.
The Z[g, g^^]algebra ^U(s[„) is the integral form of U(s[„) generated by products of
divided powers E^^Hx := §^lx, F^^hx := ^Ia for A G X and i = 1, 2, . . . ,n  1. The
relationships are collected below:
^'Cid integral
^^ / . N idempotents . form
4.2 The 2category U^isln)
We introduce a 2category U^ that is defined analogously to U in the s[„case, but the
i?(i/)relations have been modified to the signed i?(z/)relations given in [17]. Namely, the
i?(i/)relations in U are replaced in U^ by the signed i?(z/)relations obtained from the
oriented graph
o— ^O— i^O^ ■•■ — h^o , (4.10)
with vertices enumerated by the set {1,2,..., n— 1}, using signs t^ = Tji = —1 for all edges.
It was observed in [TTj that the resulting ring Rrii') is isomorphic to Riy). In Section USUI
following the definition of ZY_, we extend this isomorphism to an isomorphism U — > U^ of
2categories. The 2category IA_ is more convenient for constructing a representation on
iterated flag varieties in Section [61
In general it is a poor practice to set up an isomorphism rather than an equivalence
of categories, not to mention 2categories. However, having an isomorphism lA ^ IA_ is
justified, since U and U_ have the same objects, morphisms, and generating 2morphisms.
Definition 4.1. W_^(s[„) is a additive klinear 2category with translation. The 2category
W^(sl„) has objects, morphisms, and generating 2morphisms as defined in (13.11) . but some
of the relations on 2morphisms are modified.
• The s[2 relations and the shift isomorphism relations are the same as before, see
equations fl3J)  fl3:9) .
All 2morphisms are cyclic with respect to the biadjoint structure as before, see (13.3
and dXTU]) .
The relations (13.131) hold.
55
The 2category W^(s[„
56
The signed R(z^) relations are
(a) For i ^ j, the relations
I^JJ
A
iUj = 0,
iiij = 1.
(b) For i ^ j, the relations
X>  X/ X
for all A.
(c) Unless i = k and j = i ±1
For i ■ j = i ±1
A
i^j;
/'
Kl 17^
^ \
A'  K
A
V.'
r ^i i i j r^
i /
(4.11)
X' (4.12)
(4.13)
(4.14)
56
The 2category W^(s[„)
57
4.2.1 The 2isomorphism T.:V(^U^
Define an isomorphism of 2categories T,: U ^ U^ on objects by mapping A
hom categories by graded additive klinear functors
A
11 la 1m
A
W_.(A,/i)
A, and on
(4.15)
(4.16)
A
ll '^■a. '^rri
.lya+i
■X ,
^1 let ^a + 1 1
if ia = ia+1, or i
•'a+l
2l la ^CK + 1 "^rj
W
2l ^CK ^CK + 1 "irj
n
A
A
W
■^ otherwise
^1 ^CK ^a + 1 ^77],
'^ for all orientations
2l Zq ^ck + 1 ^r)
n
A
for all orientations
«c« + l in
id ^Ct + l ^n
Above, the i^ in (—1)*° refers to the enumeration of the vertex i^ in (ll.lOp . One can
check that the above transformations respects the s[2i'elations and the cyclic condition.
Furthermore, S maps the i?(i/)relations to their signed analogs by rescaling the generators
as above. S is a 2functor and an isomorphism of 2categories.
Remark 4.2. Since the 2categories U and U^ are isomorphic, by the universal property
of the Karoubi envelope, their Karoubi envelopes are isomorphic as well.
Define U^ to be the graded additive klinear category which has the same objects and
1morphisms as U^ and 2morphisms
W{x,y):=^U^ix{t},y).
(4.17)
tez
4.2.2 Relation to rings R{i')
Regard the graded kalgebra R(z^) with system of idempotents {Ij} as a preadditive k
linear category whose objects are {i \ i E Seq(z/)}. The k vector space of morphisms from
i to i' is j'R(z/)j. The composition j"i?(z/)j' ® iiR{v)i ^ i"R{i')i is given by multiplication
in R{u).
For any weight A there is a graded additive klinear functor
ix.Riiy)
W:(A,A + z/x)
(4.18)
57
58
that takes object i to Sil\, and is given on generators of horns by
iiy
X
»i
(^lya+i
X .
''I ^a ^CK + l '^Tl
1^ <
«1 ia «Q! + 1 «n
■X ,
?X ?CK ^a + 1 ?■
II Za — la+l, or Za
otherwise.
la+l
Linear combination of diagrams in R(z^) get sent to the corresponding rescaled hnear com
bination in W^(A, X + ux) with the weight A labelhng the far right region. In what follows
we will refer to those diagrams in the image of lx as R(i^) generators. The image of R(i^)
is spanned by diagrams with all strands upward pointing and no caps or cups.
5 Iterated flag varieties
5.1 Cohomology of nstep varieties
The material in this section generalizes that of [211 Section 6]. The reader is encouraged
to start there for more examples and greater detail in the 5 [2 case. We enumerate by
/ = {1,2,...,?T, — 1} the vertex set of the Dynkin diagram of sin
nl
— O
Fix A^ > 0, and consider the variety Fl{n) of nstep partial flags F
F = (0 = Fo C Fi C . . . C F„ = C^)
in C^. The dimensions of the subspaces Fi are conveniently expressed as a vector,
dimF = (dim Fq, dim Fi, dim F2, . . . , dim F„).
The connected components of Fl{n) are parameterized by non negative integers k =
(fco, ki, ^2, • • • , kn) such that = ko < ki < k2 < . . . < kn = N. The connected com
ponent Fl{k) corresponding to k consists of all flags F such that dimF = k. Throughout
this section we refer to the terms ka of k with the convention that
Kn
if a < 0,
A^ if a > n.
(5.1)
58
Cohomology ofnstep varieties 59
The cohomology algebra of Fl{k) is Z__graded,
Hk:=H*{Fl{k),k)= H''{Fl{k),k).
0<e<ki(k2ki)(N~'kn^i)
For l<j<n, 0<a<kj — kj^i, let x{k)j_a be a formal variable of degree 2a. The ring
Hk is isomorphic to the quotient ring
k[a;(^)j,i, x{k)j^2, • • • , x(fc)j,fe^_fe^_ J 1 /4,Ar, (5.2)
where Ik,N is the ideal generated by the homogeneous terms in the equation
n
J](l + x(i),, it + x{k),,2t^ + ■■■ + x{k),,k,k,.,t''^'^') = 1. (5.3)
i=i
Above, t is a formal variable used to keep track of the degrees. For notational convenience
we add variables x{k)jfl and set x{k)jfl = 1. Furthermore, we set
x{k)j,a = a a > kj — kj^i. (5.4)
It is helpful to express the above relation in an alternative form. Let x{k)i^a denote the
homogeneous term of degree 2a in the product
n
J](l + x(fc),, it + x{k)j,2t^ + ■■■ + x(fc), fc^._fc^_,t^^^^). (5.5)
For example, if n = 4 and k = (1, 3, 4, 7), then equation (15.31) becomes
(1 + x(fc)i,it) (1 + x(^)2,it + x{k)2,2t^) (1 + a;(fc)3,it) (l + x{k)4,it + x{k)4,2t^ + x(k)4,3t^) = 1
and the terms x{k)2,a are given by omitting the second term and multiplying out the rest
(1 + X(fc)i,it) (1 + X(^)3,it) (1 + X(fc)4,lt + X(fc)4,2t^ + X(fc)4,3t^)
SO that
xik)2,o = 1,
x{k)2,i = x(fc)i,i + a;(fc)3,i + x(fc)4,i,
x{k)2,2 = x{k)i^ix{k)3^i + x(fc)i,ia;(fc)4,i + x(^)3,ia;(i)4,i + a;(^)4,2,
3^(^)2,3 = 3^(^)1,1^(^)3,12^(^)4,1 + 3^(^)1,12^(^)4,2 + 3;(^)3,ix(^)4,2 + a;(fc)4,3,
a;(^)2,4 = a;(fc)i,ix(fc)3,ix(fc)4,2 + a;(fc)i, 1^(^)4,3 + a;(fc)3,ia;(^)4,3,
x{k)2,5 = a;(fc)i,ix(fc)3,ix(fc)4,3, (5.6)
59
Cohomology ofnstep varieties 60
and x(fc)2,a = for a > 5. It is clear that (15. 3p can be written
Yl ^(^)jJ ^ik)j,a~f = 5a,o (5.7)
for any I < j < n, where 5afl is the Kronecker delta. We call the elements x{k)j^a dual
generators in light of (15.71) .
For 1 < i < n — 1 let
+ik = {{+ik)o, {+ik)i, {+ik)2, ..., i+ik)n), = {+ik)o < {+ik)i < ■ ■■ < {+ik)n = N,
be the sequence obtained from the sequence k by increasing the ith term by one
+ik := (fco, ki, ^2, • • • , fcii, ki + 1, ki+i, ...,kn) (5.8)
if fcj + 1 < fcj+i, or by setting the sequence to the empty sequence if fcj = fcj+i. Namely,
{+ik)j = kj a j j^i and {+ik)i = ki + 1 ii ki + 1 < fcj+i.
When ki + 1 < ki^i then H^.^ is the cohomology ring of the partial flag variety consisting
of flags F with dimF = +jfc. The ring H^^k is given by
H+rk = I 09 H^i+iI^)jA^ x{+ik)j,2, . . . , x{+ik)j^(^^^k),{+,k),.A ) /I+,k,N
= (^ k[x{+ik)j^i, ..., x{+ik)j^kjk,^i] ® k[x{+ik_)i^i, ..., x{+ik)k,k,_i+i]
®k[x(+i^)i+i,i, • • • , 3;(+ifc)fc,+ife,i]//+,fc,7v (5.9)
where Ij^^k^N is the ideal generated by the homogeneous terms in
\{[Y,<+^k),,aA =1. (5.10)
i=l \a>0 /
We define i/© = 0.
Going back to the example of ri = 4 and k = (1, 3, 4, 7), then +3^ = (1,3, 5, 7), so that
H^^k = lk[a;(+3^) 1,1, ^(+3^)2,1 ) a;(+3fc)2,2, 2;(+3i)3,i) a;(+3^)3,2, a:(+3^)4,i, a:(+3^)4,2]//+3fc,7
(5.11)
where Z+gfe.T is the ideal generated by the homogeneous terms in
(1 + a;(+3^)i,i)(l + x{+3k)2,i + x(+3^)2,2)(l + a;(+3fc)3,i + ^(+3^)3,2)
X (1 + a;(+3fc)4,i + a;(+3^)4,2) = 1 (5.12)
Similarly, we write _jfc = (/cq, ki, k2, ■ ■ ■ , hi, ki — 1, ki^i, . . . , kn) for the sequence k
where we have subtracted one from the ith position whenever ki^i < ki—1. The cohomology
ring of the fiag variety Fl{_ik) is H^., which can be expressed explicitly in terms of
generators as above. When A;j_i = ki then _jA; = and H_k '■= 11% = 0.
60
Cohomology ofnstep varieties 61
5.1.1 Flag varieties for the action of Ei and Fj
For 1 < i < n — 1, define
k
+i _ ) ("^0) kl, /C2, . . . ki, ki \ 1, Kj+l, . . . , knl, kn) II ^j+l > ^j + 1,
otherwise.
(fcO) "^1; "^2? • • • kil, ki i, ki, . . . , knl, kn) II fcj i ^ ^il;
otherwise.
For ^ * 7^ the variety F/(A^ *) is the component of Fl{n + 1) consisting of flags F
such that dim F = k ^. The cohomology ring of Fl{k *) will be denoted by Hi^±i. The
cohomology ring Hf^+x is
i7fc+, = (g) k[x(^+% 1, . . . , x(^+% fc^,_fe^._J®k[ei]®k[a;(^+')i+i,i, . . . , a;(^+*)i+i,fc^^^_fc^„i]/V._^
(5.13)
where /;!.+* ^ is the ideal generated by the homogeneous terms in
(1 + e.t) (1 + a;(A;+*),+i,it + ■ ■ ■ + x(i+^),+i,fc,^,_fc,_it^»+^^^) (5.14)
X n ( E ^(^^^)^./ ^0 = 1
jVi+i /=o
The forgetful maps
F/(A;) ^^^ F/(i+^) ^^ F/(+,^ )
induce maps of cohomology rings
Hk — ^ Hj^+i ^^— H^^k
that make f/^fc+» a right Hk Cg) if^.fcmodule. Since the algebra H^.^ is commutative, we
can turn a right iJ^^^module into a left iif_^^fcmodule. Hence, we can make Hf^+t into a
(if^.fc, iJfe)bimodule. In fact, i^fc+» is free as a graded iffcmodule and as a graded H^.k
module.
These inclusions making f/^^+i a [H^^k, f/fc)bimodule are given explicitly as follows:
Hk ^ > H^+^ (5.15)
X{]^j,a ^^ x{M^^)j,a for j 7^ i + 1 ,
x{]^i+i,a ^ ii ■ a:(^^*)i+i,ai + a;(fc+*)j+i,„ ,
and
H^.k ^ ^ H,^. (5.16)
a^(+i:^)i,a ^ a;(^+*)j,a for j ^i ,
61
Graphical calculus for iterated flag varieties 62
Notice that x{k)j^a and x{+ik)j^a for j j^ i,i + 1 are mapped to the same element of Hk+i
Using these inclusions we identify these elements of Hk and H^.k with their images in the
bimodule Hf^+i. Furthermore, we can also express the generators x{k'^^)i^a and x{k^^)i+i^i3
of Hf,+i as the images of certain generators in Hk or H^^k Thus we can write Hf^+i as
Hk+^ = (^ k [x{k)j^i, ..., x{k)jMjk,_^] ® k[x{+ik)i+i^i, . . . , x{+ik)i+i^k,+,k,i] ® k[^i]/4+.,Ar
or equivalently,
Hk+^ = (^k [xi+ik)j^i, . . . , x{+ik)j^kJk,^^] 0k[x{k)i^i, . . . , x{k)i^kik,^^] ® k[6j]/4+',iV'
where /^+. jy is the ideal described above. Therefore, ^j is the only generator of Hf.+i that
is not identified with a generator of Hk or ff+^fc under the above inclusions.
Remark 5.1. The generators x{k)j^a, x{+ik)j^a, ^i of Hj^+z correspond to Chern classes
of tautological bundles over the variety Fl{k^^). The generator ^j corresponds to the line
bundle Fk+i/Fk associated to the subspaces Fk C F^ +1 created by the subspace insertion
k+\
Definition 5.2. The set of multiplicative generators
x{k)i^ai for < ai < ki h^i,
x{+ik)i+i^ai+i for < ai+i < ki+i  ki  I,
x{k)j,a = x{+ik)j^a £ Hi^+i for j ^ i,i + 1, and < a^ < kj — fcji,
for the ring H^+i, corresponding to the Chern class of the tautological line bundle, and
to the canonical inclusions flS.lSp and fl5.16p of generators in H^.k and Hk into if^+i, are
called the canonical generators of Hf,+r.
Using commutativity we can regard if^+« as an {Hk, if ^.fc) bimodule. The generators
of Hk and H^.^ that are not mapped to canonical generators can be expressed in terms of
canonical generators as follows:
x[k_)i^i^a = Si ■ x[^ik_)i^iiy^i + x(jA;jji^Q,
for all values of a.
5.2 Graphical calculus for iterated flag varieties
5.2.1 Rings Hk
All of what has been described can be easily visualized using a shorthand notation in which
the generators of Hk are drawn as labelled bubbles floating in a region carrying a label A
62
Graphical calculus for iterated flag varieties 63
called the weight. The label A will be important when we relate partial flag varieties to
the 2category U categorifying ^U(s[„). More precisely, A will correspond to a weight of
the irreducible representation of yiU(s[„) with highest weight (A^, 0, 0, . . . , 0).
To a sequence k = (fco, ^i, ^2, • • • , kn) as above associate A = X{k) = (Ai, A2, . . . , A„_i) G
2"^i where
Aq, = ka+i + 2ka  kai. (5.18)
The weight corresponding to the sequence +jfc is defined analogously, where ki is replaced
by ki + 1. Comparing with (14.91) it is clear that \{+ik) = X + ix Similarly, X{~ik) = X — ix
With this convention, the generators of H^ and H^^k are depicted as follows:
A
x{k)j,^:= {JB (5.19)
X + ix
x{+ik)j,a:= [B (5.20)
where the identity is depicted by the empty region of the appropriate weight. Products of
generators are depicted by a bubble in the plane for each generator present in the product.
Diagrams are only considered up to planar isotopy. A generic element in Hk can be depicted
as a formal linear combination of such diagrams. For example, if n = 4, fc = (1,3,4,7)
then the element x{k)iix{k)i^^ + 5 • x{k)2,^i e H^ is represented as
A A
® +^ [£3
If we depict the dual generators x{k)j^a of Hk defined in ( 15.50 as
A
a;(fc)j,a = 03
then the defining relations (15. 7p for H^ become the equations
a X a X A
Y, E GE3 = E [^^ GB = ^^.o (521;
/=0 3=0
for a > and 1 < j <n. Notice that
A A A
(To] = (To) =1, [73 =0 if a < 0, or A;^  %_i < a,
see ( 15.41) and the comments preceding (15.41) .
63
Graphical calculus for iterated flag varieties
64
5.2.2 Bimodules H^.+^
The identity element in ifj^+» is represented by a vertical line labelled i
Hu+i 3 1
\ + ix
A
where the orientation indicates that we are regarding if^+, as an {Hj^ik^ f4)bimodule. The
A on the right hand side is the weight corresponding to k. Hence, having A on the right
hand side of the diagram indicates the right action of Hk on H^+t. Similarly, the X + ix
on the left indicates the left action of H^.^ on H^+i .
When regarding if^+« as an {Hk, ff+ifc)bimodule we depict it in the graphical calculus
with the opposite orientation (a downward pointing arrow).
H.+, 3 1
A
X + ix
We will often omit the weights from all regions but one, with it understood that crossing
an upward pointing arrow with label i from right to left changes the weight by ix, and
crossing a downward pointing arrow from right to left changes the weight by —ix
Equations (15.171) show that all of the generators from Hj^+z except for C,i can be in
terpreted as either generators of Hk or H^^^ under the natural inclusions. This fact is
represented in the graphical calculus as follows:
03 jV ^ + 1 (5.22)
f/fc+> 3 x{+ik)j^i3 :
A
3 ^i
A
(5.23)
(5.24)
where each diagram inherits a grading from the Chern class it represents (degx(^)j_Q, = 2a,
deg a;(+jfc)j,/3 = 2/3, and deg^i = 2). Equation (I5.22p is meant to depicts the generator
x{k)j,a G Hi.+i as the element x{k)j^a ^ H^ acting on the identity of f^^+i. Likewise, the
generator x{+ik)j^^ G Hf^+t is depicted as the element x{+ik)j^j3 G H^.^ acting on the identity
of Hp.+z. The generator ^j is represented by a dotted line so that ^f is represented by a
dots on a line, but for simplicity we write this using a single dot and a label to indicate
the power.
The identification (I5.15P and (I5.16P of x{k)j^,
leads to the graphical identity:
with x{^ik)ja in H^+t for j ^,i,i + 1
(7^
A
(7^
A
for j ^ i,i + 1.
(5.25)
64
Graphical calculus for iterated flag varieties
65
Similarly. (5.17P provides the identities
i A
A
i
X
i+l,al] !' + i+l,Q! ,.
i %
i \ A
, , i.Q— 1  , V i,a
(5.26)
(5.27)
expressing noncanonical generators in terms of canonical generators. It is sometimes
helpful to express the canonical generators in terms of noncanonical generators:
j+l,a
A
.f=o I
a/
^ A
©
E(i)
j.a/
/=0
/ A
(5.28)
(5.29)
which can be verified using (15.261) and (15.271) . From these equations we can derive other
useful identities:
t
A
I a A
OL
Proposition 5.3.
03
A
3=0
A
©
A
A
(5.30)
(5.31)
A
+
G3
e;=o(ikgHE3
/ A
if j = i
if j = i + 1
(5.32)
65
Graphical calculus for iterated flag varieties
66
03
A
i
E?.„(i)' I'
t(
i+l,al
A
iij = i
if j = i + 1
(5.33)
Proof. Recall that the elements x{k)j^a are sums of homogeneous symmetric terms in all
variables except for x{k)j^fi. By f l5.25p all terms x(fc)^,a for £ 7^ z, z + 1 can be slid across the
line labelled i. The case when j 7^ i,i + l then reduces to the problem of sliding symmetric
combinations '^f=Qx{k)ijx{k)i+i^/3^f across a line labelled i. Such slides are determined
by the following calculation in Hj^+i:
/3 /3 /
/=o /=0 9=0
/3 /
9+1
/=0 3=0
13 f
/=0 3=0
(5.34)
Change variables to /' = / + 1, and g' = g + 1 in the first summation, so that all terms
cancel except for g = Q term in the second summation; this term is equal to
/=0
(5.35)
Hence, when j 7^ i,i + l the elements x{k)j^a and a;(+jA;)j „ can be slid across a line labelled
The dual generator x{k)j^a contains symmetric homogeneous combinations of variables
x{k)i^i3 for i 7^ j. When j = i in (I5.32p all terms in x{k)i^a slide across lines labelled i
except for the variables x{k)i+i^i3. Using (I5.26P to slide these across establishes (I5.32p for
the case j = i. Similarly, when j = i + 1 all terms in x(A;) j+i_q, slide from right to left across
lines labelled i except for the variables x{k)i^i3. Using (15.291) to slide these completes the
proof of (15.321) . Equation (I5.33P is proven similarly. D
66
Graphical calculus for iterated flag varieties
67
By duality, analogous equations as those above hold for downward pointing arrows. For
example, equation fl5.30p implies
A
A
S
(5.36)
5.2.3 Bimodules Hj^i
For the remainder of this paper we write a signed sequence i = £l^l£2^2 • • • ^m'im as i =
S1S2 ■ ■ ■ Sm with Sa = Saia For Sq = Soia Write sak. for the sequence obtained from
k = {ko, ki, ^2, • • • , kn) by increasing the ki^ by 1 if ^q, = + and ia < ia+i, decreasing the
sequence by 1 if £„ = — and i^i < ia, and setting the sequence to otherwise. Then
ik is either set to 0, or else it denotes the sequence obtained from k with the ki^th term
increased by one if Sa = +ia, or decreased by one if Sc
sequentially for each Sa in
the signed sequence i, reading from the right. It is clear that the sequence ik is equal to
the sequence jk whenever i,JE SSeq with ix = j x ^ ^ and ik^% and jk 7^ 0.
We write Hf^i for the {H.k, f/fc)bimodule
Hui '■= H,
H
1 "•
Stn " —
(5.37)
This bimodule can also be described as the cohomology ring of the variety oi m + n
step iterated partial flags corresponding to the sequence obtained from k by the ordered
insertion of subspaces determined from the signed sequence i.
The {H.k, iffc) bimodule Hf,i can be understood using the graphical calculus. A general
signed sequence i = SiS2Sm, is represented by a sequence of lines coloured by the
sequence iii2im, where the line coloured by ia is oriented upward if s^ = +ia and
oriented downward if s„ = —in
Examples:
1. For the signed sequence +j + i E SSeq consider the {H^^^^k, f/fc)bimodule
H,
k+j+^
H
,k+i ^^+,fc ^fc
H,+i.
As explained in the previous section, the identity elements of the {H^.k, f/^) bimodule
Hf^+i and the {H^.^_.k, if^.fc)bimodule H .).] are depicted as
\ + ix
A
and
X + ix+ jx
\ + ix
(5.38)
respectively.
The identity element of Hk+^+* i^ represented by the diagram
X + ix+ jx
\ + ix
A
(5.39)
67
Graphical calculus for iterated flag varieties
68
The region in the middle of the two hnes is labelled by the weight X+ix corresponding
to +jfc. The tensor product over the action of H^.k is represented diagrammatically
by the fact that a labelled bubble in the region with weight X + ix can be equivalently
regarded as an element of H^.k acting on the line corresponding to Hf^+i, or the line
corresponding to H f,j.
Action of Hk
Action of H^h Action of H^^h
X
X
e.,a
X
J i J i J i
The weight A on the far right, and the weight oi X + ix + jx on the far left, indicate
that this diagram is describing an {H_^_j^^k, f/fc)bimodule where the various actions
are depicted as above.
2. For i = +ii + 22 + ^3 ■ ■ ■ + V the identity element of the bimodule H/^i is depicted by
a sequence of upward oriented labelled lines
Hk' 3 1
/ \ / V / V
^l 12 13
/ V y V
A
(5.40)
^m — 1 In
The canonical generators ^i^ of each term in the tensor product (15.371) are represented
graphically by a dot on the line labelled ia
H^i 3 1^1
l®e..
/ \ / \
t
A
ScKSQ,__lSm
«1 «2 la Im
k is represented by the regions
Likewise, the tensor product over the rings if,
between lines. Again, the weights on the far left and right of the diagram indicate
the bimodule structure.
Action of Hk
Action of H
i,/3
A
/ V / V
i,/3
■/■a'tmi:
/ \ / \
Action of H.k
X
hP
X
l\ 12
«1
11 12
3. Consider the {Hk, iife)bimodule corresponding to the tensor product
Hk+' ®// . H^+i
(5.41)
where in the first factor we are regarding H^+t as a {Hk, ff^,fc)bimodule. The identity
element of this bimodule is represented by the diagram
A
X + ix,
X
(5.42)
68
Graphical calculus for iterated flag varieties
69
5.2.4 Identities arising from tensor products
Bubbles with a given label (j, a) can pass from right to left, or left to right, through a line
coloured by i as long as j y^ i,i + 1. Iij = ioTJ = i + l then a bubble can move through
a line subject to the rules fl5.26p ( l5.29p . Furthermore, dots on a line can be exchanged for
bubbles in the neighboring regions using (15.301) and (15.311) . Dual bubbles corresponding to
dual generators can be slid across lines using the rules (I5.32p and (I5.33p .
The following Lemma is needed for the definition of the 2representation F given in the
next section. In particular, parts (i) and (ii) are used to provide two equivalent definitions
and (iii) and (iv) are used to show that
^(Va) ^ ^(Va)' ^(Va) ^ KVa)
Lemma 5.4. The following identities hold:
i) Equivalent definitions of cups labelled i: in the ring if^+» ®h ^ H^+z we have
^ 1
;/
E(ir^ '
. i,af
/=o'
A
for all a e N.
ii) In the ring H_j.+i ®h .^ H_.j^+t we have
.A
E(i)°^ Q^ I I
9 A
(5.43)
9=0
E(ir^
t'k
j+l,a/
^(_l)a9 [i+l,ag]
3=0
I t
(5.44)
E(l)"^e/®a;(A;),+i,„_/ = E(ir~^a;(^),+i,„_,®ef
/=0 3=0
for all a e N.
iii) Dot slide formulas for cups: in the ring HJ.+^ ®h .^ H^+i we have
/=o
''f~\^lf.~k.^.9 ^9 ^ a:{k),^,,,^.,^_,., ■ 6.
3=0
(5.45)
69
Graphical calculus for iterated flag varieties
70
iv) Dot slide formulas for cups: In the ring H_.^+i ®h .^ H_.^+^ we have
9=0
(5.46)
Proof. Part i) follows from the chain of equalities:
/=0
/=0 9=0
[hcf]
If we reindex by letting f = a — f and switch the order of summation we have
a a—g
9=0 /'=0
[i,{ag)f']
ij'
X
i lOTI i
9=0
o "^a
A
which after reindexing completes the proof of Part i). Part ii) is proven similarly. Part iii)
follows from Part i) by letting /' = / + ! and adding and subtracting the term (— l)""''^! §5
x{k)i,a+i, SO that
Y.^ir'Ur ® <k)
i,af
/=o
a+1
= J](l)+i^' i( ®x{k\^+^_f,  (l)"+il ®x(A;),,„+i
/'=o
Part i) Y^{lY+^H{k\^+^^g ® ef  (l)"+ll ® X(fc),,,+i.
9=0
Pulling off the g = Q term and reindexing g' = g — 1 we have
9'=0
(5.47)
But the term with the summation is equal to
E(l)"^'ef'®a;(fc),,,„,,e.
9 =0
(5.4J
by Part i), and the remaining terms {—'\)°''^^ {x{k)i^a+i ® 1 — 1 ® x{k)i^a+i)i are zero when
a = ki — ki_i since x{k)i^a+i is zero for a > ki — ki+i, see (15.41) . Part iv) is proven similarly
using Part ii). D
70
The 2category Flag^ 71
Corollary 5.5. The assignments (see Definition 16. ip
r (^ J : Hk ^ (i/,+. (Sh^^, H^+.^ {1 + A;,_i  A;,+i}
and
^ (^.A
: Hk — > [H^,k+^ ®H_^k H_^k+^) {1 + ki~i  h+i}
1 ^ ^1: Vl)''+^'^^ef®a;(A;),+i,,,^,_,,
9=0
define morphisms of graded bimodules of degree 1 + Aj = 1 — A;j_i + 2ki — /cj+i and 1 — Aj =
1 + ki_i — 2ki + ki+i, respectively.
Proof. For the first claim it suffices to check that the left action of each generator of Hk on
r (\j;^ j (1) G [Hj^+i ^H k ^k+^ ) is equal to right action of this generator. The Corollary
follows since bubbles can slide across lines by fl5.26l)  fl5.29l) at the cost of introducing
powers of ^j on one of the tensor factors; by Lemma [5^ (iii) and (iv), factors of ^j can be
slid across tensor factors in the above sums. The second claim is proven similarly and the
degrees of these bimodule maps are easily computed. D
5.3 The 2category Flag^
Bim is a 2category whose objects are graded rings, whose 1morphisms are graded bi
modules, and 2morphisms are degreepreserving bimodule homomorphisms. Idempotent
bimodule homomorphisms split in Bim, so that any 2representation \1/ : W ^ Bim extends
uniquely (up to isomorphisms) to a 2representation U — > Bim, see Section 13. 4[
Graded 2homs between graded bimodules Mi and M2 are given by
HOMBi^(Mi, M2) := HomBi^(Mi{t}, M^). (5.49)
tea
Let Bim* be the 2category with the same objects and 1morphisms as Bim and 2
morphisms given by
Bim*(Mi, M2) := }iOM^^^{M,, M^). (5.50)
We now define a sub 2category Flagjy of the 2category Bim for each integer A^ G Z__.
Definition 5.6. The additive klinear 2category Flag^ is the idempotent completion
inside of Bim of the 2category consisting of
• objects: the graded rings Hk for all k = {ko, ki, k2, ■ ■ ■ , A;„) with < A;i < A;2 ■ ■ ■ <
kr,. = N.
71
72
• morphisms: generated by the graded (iffc,i7fc)bimodule Hk, the graded {H^k,Hk)
bimodules if^+i and the graded {Hk,H ^.k)him.odu\e Hj^+i for all i G /, together with
their shifts Hk{t}, Hi^+i{t}, and Hf^+i{t} for t G Z. The bimodules H^ = ^^{0} are
the identity 1morphisms. Thus, a morphism from H^ to H.k is a finite direct sum
of graded {H.^, iffc)bimodules of the form
for signed sequences j = siS2 ■ ■ ■ Sm with ix = j x ^ ^■
• 2morphisms: degreepreserving bimodule maps.
There is a graded additive subcategory Flag^ of Bim* with the same objects and
1morphisms as Flag^, but with
Flag^(Mi, M2) := Flag^(Mi{t}, M2). (5.51)
tea
In Section [6] we show that Flag]^ provides a 2 representation of W^; using the isomorphism
S : W* — >■ U^ and restricting to degree zero 2morphisms, the subcategory Flagjy provides
a 2representation of U.
6 Representing U*^ on the flag 2category
In this section we define for each positive integer A^ a 2representation r^v: W^ ^ Flag^.
The 2functor Tx is degree preserving so that it restricts to a weak 2functor T: U ^
Flag^. We will sometimes shorten Fat to F for simplicity.
6.1 Defining the 2functor T^
On objects the 2representation Tx' U'^ ^ Flag^ sends A = (Ai, A2, . . . , A„_i) to the rin^
Hk when A = A(fc), i.e., when A^ = —ka+i + 2ka — kai
Tx:U_ ^ Flag^
Hk if A = A(^)
otherwise.
Morphisms of U_ get mapped by F^r to graded bimodules:
Tx.U^ ^ Flag^
Hk{t} if A„ = ka+i + 2ka  kal
lA{t}
otherwise.
J , . Hf.+i\t + 1 + k.i_i + ki — /Cj+ij it Aq — —ka+i + 2ka — ft^al
i+,lAit ^  Otherwise.
Srlx{t]
Hki{t + I  ki} if Xa = ka+i + 2ka  ka1
otherwise.
72
DeBning the 2functor T
N
73
Here Hf^i{t + 1 — fcj} is the bimodule Hf^i with the grading shifted by t + 1 — fcj so
that
{Hk+^{t + 1  ki})j = {H^+r)j+t+ik,
More generally, the lmorphism
is mapped by Fat to the graded bimodule H^^^ with grading shift {t + t'}, where t' is the
sum of the grading shifts for each terms of the composition in (16.11) . Formal direct sums of
morphisms of the above form are mapped to direct sums of the corresponding bimodules.
6.1.1 Biadjointness
Definition 6.1. The 2morphisms generating biadjointness in U^ are mapped by F to the
following bimodule maps.
\^
F
k^
Or
A
n /\^
Hk — > f fffc+» ®^+,fc H^+^) {1 + ki^i  ki+i}
* j ~ 1
I
(6.2)
1
Hk
''"^\_l)fc,:/c.l/ ^/ ^ x{k\k.k.^,^f
(^_,fc+> ^H_^, H_^k+) {1 + kii  h+i]
tii\\—rii
/=o
i+l,ki+ikif
X
(6.3)
^ 1^ (' — 1 \ai+Oi2+'i+kiki+i y / . , , , , , , , , ^
'^ I LJ T X t+l,ai+a2+l+fcifc^+i j /j^ .x
A
C®e^(i)
ai+a2+l+kiki+i
+1 X x(A;)j+i^Qj+Q2+l+fc»fc«+i
(^_.fc+« ®/^_,fc ^_,fc+») {1 + ^*i  ki+i} ^ Hk
,ai
,02
2 A
A
^(1
vai+a2+l+fciifci
(
X I j,ai+a2+l+fcii— fc,
J (6.5)
e ® C ^ (l)i+"2+i+'=»i'=^ X x(A;),«,+«,+i+,^_,_,^
73
DeBning the 2functor T
N
74
Corollary 15.51 shows that the cups above are bimodule maps. It is clear that the caps
are bimodule maps. These definitions preserve the degree of the 2morphisms of W^ defined
in Section 13.11 By Lemma 15.41 the clockwise oriented cap and cup have degree 1 — Aj and
the counterclockwise oriented cap and cup have degree 1 + Aj so that these assignments
are degree preserving.
6.1.2 R{i^) generators
Definition 6.2. The 2morphisms f and * in U* are mapped by Tn to the graded
bimodule maps:
/
(
X + ix'
 A
V
i J
Hf.+^{l + ki_iki+i} ^ Hl^+^{l + ki_lki^l}
Q + l
r
( J
A ~
'X + tx
V
i J
H^+i{l + ki_i  kij,i} ^ H^+^{l + ki^lkiJ^l}
i
a+l
(6.6)
(6.7)
Note that these assignment are degree preserving since these bimodule maps are degree 2.
The 2morphisms ^^ . . ^ and \C ^ ■ ^ are mapped by T to the graded bimodule maps:
^'X/
H+jk+' ®H^^k Hk+^ ^ ^+rk+^ ®^+.i ^k+'
{<61
iT ® C^
e®er ^ <^
A
ai — 1
E
^^a,+..l/^^/
(e;
a2
3
"21 , ,
if 2 ■ j =
if z = j
ai+l
if^
^^O
if <^^^
H
^^_,fc ^k^
H
,k^ '^H_
Hu
(6.9)
ir®iT
_Ci2 fr^ f Ol
«2l , 1 r r ai1 , ,
/=0 9=0
if i ■ J =
^i if ^ = J
if^
I
^—o
iii>^—i
It is straightforward to see that these assignments define bimodule maps of degree —i ■ j.
In the case when i = j the bimodule map is just the divided difference operator acting on
6 and ^j.
74
Checking the relations ofU
75
6.2 Checking the relations of U^
In this section we show that the relations on the 2niorphisnis of W^ are satisfied in Flag^,
thus estabhshing that F is a graded additive khnear 2functor. From the definitions in
the previous section it is clear that F preserves the degrees associated to generators. For
this reason, we often simplify our notation in this section by omitting the grading shifts
{t} when no confusion is likely to arise.
Proposition 6.3. F preserves the slirelations of W^.
Proof. The proof in [21] that the slirelations of U^ are preserved by F generalizes imme
diately with only minor refinements to grading shifts and summation indices. The proof
only makes use of fl5.2ip and (I5.25p  fl5.33p . For example, to prove biadjointness we must
show
/ X + ix
V
/
F
\A + 2x
/
\
A/
\ + ix
A
F
/A
V
ix
F
\ + ix
F
A
A\
/
\
A/
\ix
A
F
\ix
A
\ix
for all strings labelled by i. We will prove the first equality by computing the bimodules
maps on elements ^f G Hj^+i.
/ X + ix
V
A\
1=0 y '
l,Ki fei — 1 /
But,
Yl (1)° \i,a{kiki.if)]
/=o
l.k,i ft'i— 1 /
A ™ „
(6.10)
since the sum can be taken to a by removing terms that are equal to zero when a <
ki — ki_i, or by adding terms that are equal to zero if a > /cj — ki^i The others are proven
similarly. D
75
Checking the relations ofU
76
Lemma 6.4.
r
/i
j
\
\/ ^^X + tx
\
\J
j
. J
/
X + ix
n
i
X

A
\
i
U
/
^...■..fc®H,..,„fc ^^,fc + «
c®er
fft,+» (K'H',, H,
(6.11)
fffc ^fc+i
er ® er^
02 <:>, f'^i
c®e
(6.12)
These biinodule maps have degree zero for all i, j G / and all weights A.
Proof. We compute the bimodule maps directly using the definitions in the previous sec
tion. The case when i = j appears in [21j so we will omit this case here. The map in
(16. lip , using (I5.43P for the cup, is given by
r
/i
i
\
J><
X + ix
\
Ky
j
1
01 ,^ £02
■■iT®i
\^ (_l)"2 [i,fc,~fc,,i/] t I [»,a2(fc,fc,^i/) j
i 3
/=0
if z ■ J = or o — > — 6, and
i^i "'i— 1 I
\^ (l)"2 [Xfc7fc.ll/
/=o
<^i "'i — 1 ~"l
ft
i,a2{kiki+il
IJ
A + zx
« J
/=o
l"^+^(
i,a2 — (ki—kifi
iD
A + ix
« J
(6.13)
(6.14)
if o — > — 6. Careful calculation, keeping in mind the weights of each region, will show that
these maps have degree zero. In both cases, the dual generators can slide across the line
labelled j via (15.331) . After changing indices, equations (16.131) and (I6.14p both become
/'=o
ij'
{i,»2f']
,«! X + i'
(6.15)
76
Checking the relations ofU
77
where (+jfc)j — (+j/i;)j_i are the (i — l)st and ith terms in +jk. By adding or removing terms
that are equal to zero, depending on whether 02 is greater than or less than (+jA;)j — (+jA;)j_i,
the above summation can be taken to 02, so that (I5.3ip completes the proof. D
Proposition 6.5. The equality
r A
i^ Vi
/.
r /—
N
\
^
1
' H'
\
V
^^ i
7
(6.16)
of graded bimodule maps holds in Flag^ for all weights A.
Proof. By direct calculation, using Lemma 16.41 we have that both the far left and right
bimodule maps are given by
^r ® ef
"21 , 1 r J. ai1
/=0 g=0
(ef ®e){i}
if i ■ J =
if i = j
^o
if^
if 6^^
which agrees with T { \( . . , , . , . , .
Proposition 6.6. The equalities
D
r
r
A
A
(6.17)
D
of graded bimodule maps hold in Flag^ for all weights A.
Proof. This follows immediately from Lemma [6.41
Proposition 6.7. The equalities
H X/) ( X^)^ ( x^
hold in Flag^ for all weights A.
Proof. Using the definition of the bimodule map r( ^>^ . ) in (16. 8p the proposition is
easily verified. D
r( Xa) (6«)
77
Equivariant representation
78
Proposition 6.8. The equalities
(^j)r
r
A
iiij =
iiij = l
(6.19)
/[
X \
r
^ A
X
K
ir\k /
r
V^
A
(^j)r
/
IX'
(6.20)
1 (6.21)
of bimodule maps hold in Flag^ for all weights A.
Proof. To prove the proposition we compute the bimodule maps in (16.191) on the elements
of the form ^"^ ® ^°'^. Bimodule maps in (16.201) and (I6.2ip are computed on elements
^f^ ® ^"^ (S) ^^^ and ^f^ (S) ^"^ (S) ^f^, respectively. The action on other elements in the
cohomology rings is determined by the fact that the maps are bimodules morphisms.
The proof of these remaining relations is the same as the proof that rings R(i^) act on
Voiu (notation as in pjj). Replacing the variables Xk{i) G Voit with the Chern classes of
line bundles C,k in the corresponding cohomology rings turns formulas in [161 Section 2.3]
for the action of dots and crossings into formulas (16. 6p and (16.81) . with the signs taken into
account. D
Thus, we have proven the following Theorem:
Theorem 6.9. Tn: W^ —>■ Flag^ is a 2functor and a 2representation.
6.3 Equivariant representation
6.3.1 Reminders on equivariant cohomology
The GL(iV)equivariant cohomology of a point [H] is given by
Hh L{N) (pt) = H*{Gr{N, oo)) =k[xi,X2, . . . ,XN,yi,y2, ■ ■ ■]/In,oo (6.22)
where In,oo is the ideal generated by the homogeneous terms in
(1 + xit + X2t^ + ■■■ XNt^) (1 + yit + y2t^ + ■■■ %t'' + ■■■) = 1.
78
Equivariant representation 79
Thus, H^^j^Jpt) is isomorphic to the polynomial ring
H*GL(N){P't) = k[xi,X2,...,XNl,XN] (6.23)
with Xi in degree 2i.
Given a sequence k = (/cq, ki, k2, ■ ■ ■ , kn) with < /ci < /c2 < ■ ■ ■ < /c„ = A^, GL(N)
acts transitively on Fl{k), so the equivariant cohomology of Fl{k) is
H*GLiN){Fm) = i7sU(p*) {Pt e F/(A;)) (6.24)
where the stabilizer of a point (O C C'^^ C ■ ■ ■ C C'^" = C^) in FL{k) is the group of
invertible block (/ci x (k2 — ki) x ■ ■ ■ x (A^ — /Cni)) uppertriangular matrices. This group
is contractible onto its subgroup GL(ki) x GL{k2 — /ci) x • ■ ■ x GL{N — kni). Hence,
Hk — "GL(fci)xGL(fc2A:i)xxGL(Affc„_i)(P^)
n
[a;(^)j,i, a;(^)j,2, • • • , x{k)j^k,~k,^^] (6.25)
with dega;(^)j^a = 2a;. Thus, the equivariant cohomology of Fl{k) has the same generators
as the ordinary cohomology ring, but we do not mod out by the ideal Ik,N
The equivariant cohomology rings H'^ f, and H^ j. oi Fl{^ik) and Fl{_ik) can be similarly
computed. They have the same generators as the ordinary cohomology rings H^^^ and H.^,
but no relations.
The equivariant cohomology H^+i of Flik^"^) also has the same generators as the or
dinary cohomology ring, with no relations. Using the forgetful maps Fl{k) <— Fl{k^^) ^
Fl{+ik) we get inclusions
H^ c , H^^. (6.26)
x{k)j^a ^ x{k'^'')j^a ioT j j^i + 1 ,
a^(i)i+i,a ^ ^i ■ x{k~^')i+i,ai + a;(fc+*)j+i,Q ,
and
Kk "^ ^? (627)
x{+ik)j^a ^ a;(^+*)j> for j j^ i ,
making f^^i a graded (i/^^^, i/jfc)bimodule, just as in the nonequivariant case. Using
these inclusions we introduce canonical generators of f^f+i given by identifying certain
79
Equivariant representation 80
generators of H^ and H'^.j. with their images in fff+i Thus, we can identify x{k)j^a and
x[
k)j^a in H^+^ when j j^ i,i + 1, and
+'tJ±Jj
or equivalently,
The generators of H^ and f^'^^^ that are not mapped to canonical generators in H^+,
can be expressed in terms of canonical generators as follows:
X[k_)i+l,a = C,i • X[j^ik)ij^i^al + x[^ikjij^i^a
x{+ik)i^a = ^i ■ x{k)i^a~i + x{k)i^a (6.28)
for all values of a.
6.3.2 The 2category EqFlag^
The 2category EqFlag^ is the equivariant analog of Flag^.
Definition 6.10. The additive klinear 2category EqFlag^ is the idempotent completion
inside of Bim of the 2category consisting of
• objects: the graded rings H^ for all k = (/cq, ki, /c2, . . . , kn) with < ki < k2 ■ ■ ■ <
kn = N.
• morphisms: generated by the graded (if^,iJ^)bimodule H^, the graded {H'^,i^,H^)
bimodules H^+i and the graded (if^,if'^^^)bimodule H^+, for all i E I, together with
their shifts Hg{t}, H^+^{t}, and H^+,{t} for t e Z. The bimodules H^ = H^{0} are
the identity 1morphisms. Thus, a morphism from H^ to if '^ is a finite direct sum
of graded {H'^g,, iJ^)bimodules of the form
for signed sequences j = SiS2 ■ ■ ■ Sm with ix = j x ^ ^■
• 2morphisms: degreepreserving bimodule maps.
There is a graded additive subcategory EqFlag^ of Bim* with the same objects and
1morphisms as EqFlag^, and
EqFlag;,(Mi,M2) := EqFlag^(Mi{t}, M2). (6.29)
tea
80
Equivariant representation 81
6.3.3 Equivariant representation F^
A 2representation of the 2category U*{sl2) = l^Zi^h) was constructed in [22] using equiv
ariant coliomology of partial flag varieties. Here we extend that construction to the 5[„case
and define a 2representation F^: U^ ^ EqFlag^.
The verification that Fjv is 2representation with the assignments given in Section 16.11
used only the relations fl5.2ip and fl5.25p  fl5.33p . together with Lemma [5^ and Corollary l5.5l
which both follow from these relations.
To define the equivariant 2representation F^ ordinary cohomology rings are replaced
by equivariant cohomology rings and bimodule maps associated to 2morphisms are defined
the same way, except that the dual generators x{k)j^a niust be redefined. Set x{k)j^o = 1
and inductively define
a
x{K)j,a =  XI x{k)jjx{K)j,af (6.30)
For example,
x{,^j,i = xik)j^i
x{k)j^2 = x{k)j^ix{k)j^i  x{k)j^2 = ^ikYjA  x{k)j,2
xik)j,3 = a;(^)j,i + 2 x{k)j^i x{k)j^2  x{k)j,i
In the nonequivariant cohomology rings the two definitions (15.51) and fl6.30p of dual gener
ators agree, but not in the equivariant cohomology ring.
Remark 6.11. We could have started with the definition oix{k)j^a given in f l6.30p and used
this definition to construct the nonequivariant representation in the previous section. After
all, the two definitions (15. 5p and fl6.30p are equivalent in the nonequivariant cohomology
ring. However, the recursive definition f l6.30p makes it more cumbersome to calculate with
in practice and that is why we used (15. 5p to construct the nonequivariant representation.
Lemma 6.12. With ^(fc)^^ redefined as in flOOD the relations flOT]) and fl5:25)  fl5:33l
81
Equivariant representation 82
hold in the equivariant cohomology rings:
a
^X{k)jjx{k)j^af = Safi (6.31)
/=o
x{k)j^a = x{+ik)j^a ioi J ^i,i + I (6.32)
x{k)i+i^a = 6 ■ x{+ik)i+i^al + x{+ik)i+i^a (6.33)
X[+ik)i^a = <,i ■ X[k_)i^a,1 + ^^(kJj^q (6.34)
a
x(+,fc)i+i,„ = 5]](l)^C^x(^),+i,„_/ (6.35)
/=o
a;(^)i,a = ^x{+ik)i^af^! (6.36)
/=o
1)"C = ^x{+ik)i+i^af X{k)i+ij = ^x{+ik)iagX{k)i^g
/=o s=o
(6.37)
a^(^)j,a = x{+ik)j^a iij^i,i + l (6.38)
3^(+j^)j,ai M + 3;(_(_jA;)j_Q, II J — z
2;(fc),,a = { a (6.39)
E{lrx{+,k)^+l,af^I ifj=2 + l
/=0
E (l)°x(A;),„_/ e/ if J
z
/=o
a;(+.^),,a = <( ' (6.40)
a;(^)j+i,ai ^i + x{k)i+i^a a j = i + l
Proof. Equation (16.311) follows from the definition fl6.30p of the dual elements x{k)j^a
Equations (I6.32l) ( l6.34l) equate two images of noncanonical generators under the inclusions
( 106) and (lOTI) . Equations (lOSj) and (Km follow from (I03D and (lOil) . The first
equality in (16.371) is proven as follows:
a a 01— f
(i)"5^x(+,fc),+i,«_;^(i)^ ^ $^E(i)°^'^'^(^)^+i./3^(KZ7
/=0 /=0 3=0
a OL—g
5=0 /=0
i(OT1 i
E(l)"^'C''^a.,o = it (6.41)
9=0
82
Equivariant representation 83
The second equality above is just a re indexing of the summation. The second equation in
fl6.37p is proven similarly.
Equation ( I6.38P follows from (16.32^ and the definition of x{k)j^a Equations (16.391) and
fjODjl follow from flg:^ and flOIj) and the definition of x{^)~. D
Theorem 6.13. F^: U^ ^ EqFlag^ is a 2representation.
Proof. It is clear that F^ preserves the degree associated to 2morphisms since the 2
representation Fat does. The proof that F^ preserves the relations in U^ can be copied
line by line from the proof the Fat preserves the relations. By Lemma [6. 121 all identities used
in the proof of Theorem 16.91 hold in EqFlag^ with the dual elements redefined according
to (I63U) . D
Theorem 6.14. The 2representations Fjv and F^ categorify the irreducible representation
Vn of U(5[„) with highest weight (A^, 0, . . . , 0).
Proof. Idempotent bimodule maps split in Bim, so by the universal property of the
Karoubi envelope the additive 2functors Fat: U — > Flag^ and F^: U ^ EqFlag^,
obtained using the isomorphism Tj: U* ^ U^ and restricting to degree preserving 2
morphisms, extend to 2representations of U.
The rings Hk and H^ are graded local rings so that every projective module is free, and
they both have (up to isomorphism and grading shift) a unique graded indecomposable
projective module. The Grothendieck group of the category 0^ Hk—gmod (respectively
0^, if^— gmod) is a free Z[g, g~^]module with basis elements [Hk\ (respectively [H^]) over
all A;, where g* acts by shifting the grading degree by i. Thus, we have
^0 ( ^f gmod) = i^o ( i^igmod) ^ ^V^ (6.42)
k k
as Z[g, g~^]modules, where the sums are over all sequences < fci < ■ ■ ■ < A;„ = A^, and
jXn is a representation of yiU(s[n), an integral form of the representation Vn of U(5l„).
The bimodules F(1a), T{£j^iX\) and F(£^_j1a) (or equivalently F*^(1a), V^i^E+ilx) and
T'^[8il\)) induce functors on the graded module categories given by tensoring with these
bimodules. The functors
1a
•Ji^X+ix
Hk ®Hk_  '■ Hkgmod ^ Hkgmod (6.43)
Hk+^ ^Hk  {1 + kii  ki+i}: iJfcgmod > iJ_^,fcgmod (6.44)
Hf.+^ Or ,^  {ki} : H^^kgmod ^ Hkgmod (6.45)
'+i«
have both left and right adjoints and commute with the shift functor, so they induce
1j[q, g~^]module maps on Grothendieck groups. Furthermore, the 2functor Tjy respects
the relations of W, so by Propositions 13 . 241  13 . 261 these functors satisfy relations lifting those
of U. D
83
Nondegeneracy ofU^{sln
84
6.4 Nondegeneracy of W^(s[n)
Lemma 6.15. The surjective graded kalgebra homomorphism
nA^W*(lA,lA)=W:(lA,lA)
of Proposition 13.61 is an isomorphism.
(6.46)
Proof. Injectivity is estabhshed by showing that for each M e N there exists some large
N such that the images of bubble monomials in W^(1a, 1a) in variables of degree less than
M act by linearly independent operators on H^ for A = \{k), under the 2functor T%. By
a direct calculation
/
■^G
X
\
\ Ail + Q /
(1)" Yl X{k)i,af X{k),+ij,
/=0
(6.47)
^G
V
Ail+/3
/
min{/3,fcifci_i)
9=0
9'
as bimodule endomorphisms of H^. After expanding the x{k)j^a using (16.301) we have
■^G
\ Xil+a /
( ^ \
^G
\ A,l+/3 /
(l)°(x(A;)i+i,,  x{k),,a) + (products of lower ]
V order terms /
^Tixik^f,  x(A;),+i,^) + ("products of lower"] .
V order terms /
Only one orientation for dotted bubbles labelled by vertex i is allowed in a bubble monomial
in IIa, see (I3.24p . The image under F*^ of a bubble monomial is composed of products of
bimodule maps of the above form where, in the equivariant cohomology ring, sums of
products of element of the form {x{k)i+i^a — x{k)i^a), respectively {x{k)i^i3 — x(A;)j+i,/3)
are independent provided a,P < hi — ki^i and a,/5 < fc^+i — hi so that (a;(fc)i+i,a —
3^(^)i+i,o)) respectively (a;(fc)j^/3 — x{k)i^i^p), is nonzero. By taking A^ large, we can ensure
this condition is satisfied for any fixed M . Hence, images of bubble monomials in W^(1a, 1a)
are independent. D
Lemma 6.16. There is an isomorphism of graded kalgebras
l'^:R{v)®TIx ^ Uti£ulx,£ulx)
D®D^ ^ LxiD).D^,
with Lx given by (I4.18P and D^^ a bubble monomial in IIa.
(6.48)
84
Nondegeneracy ofU^{sln) 85
Proof. Surjectivity of l\ follows from Lemma [3l9] and the isomorphism E from Section l4.2.1[
Injectivity of l\ is established by showing that for each M G N there exists some large
N such that degree M elements lx{D) . D^,, as D and D^ run over a basis of R(i^),
respectively IIa, act by linear independent operators under the 2 representation F^. The
2functor F*^ must map horizontal composites to horizontal composites (given by tensor
products) in EqFlag^, so that
F^(.;,(D).D^) = F^(.,(D))®^gF^(DO := fD(»HogD^ (6.49)
for bimodule maps go^ '■ H^ — ^ H'j^ and fo '■ H9i — > H?j for some i, j G Seq(i/).
Let
iGSoq(i/)
m
For large enough A^, the bimodule T'^^Si.lx) contains VoiuiO ^s a subspace. From the
definition of lx (see (14.181) ). together with the definitions of the bimodule maps associated
to R{i^) generators (see Section [B.1.2p . it is clear that the action on Vo£^{^) given by the 2
functor F"^ coincides with the action oi R{i>) on Voiu defined in ^E\. In particular, bimodule
maps fo corresponding to basis elements of R(z^) must act by linear independent operators
(see [m proof of Theorem 2.5]) on the subspace Voiu{^) of F*^(£^i^1a). Furthermore, from
the definitions of bimodule maps associated to R{v) generators it is also clear that f^ fixes
all other generators of V^i^Eylx).
By Lemma 16. 15^ for large N the bimodule maps g^^ act by linearly independent oper
ators on H^ . Write
TT,;
A
(j,A)l + Q
A
{i,X)l+a
for (i. A) > 0,
for (i. A) < 0.
(6.50)
and let D^, = iii^^aiT^ 1,2,02 ' ' ' ^£r,ar Then D^, acts on i/^ = H'^i® ^a H^ via F'^(Idi^ . Dt,)
1 ®fjG gr,^. From (16.471) we have
1®H^^D,: 101 ^ ^x{k)i^+ij^x{k)i,^^^^f^ J ■■■ ^x{k)i^+ij^x{k)i^^^^_f^ j (6.51)
\/i=0 / \/,=o
in H'fi. After expanding the x{k)i,a using their definition (I6.30p . we have an expression for
the action of g^,^ on H'fi strictly in terms of variables x{k)i,a
The bimodule maps fo ®h'^ go^ are linearly independent operators since the bimod
ule maps /d and gn^ are separately independent and act on algebraically independent
85
REFERENCES
86
generators of H^i :
«2
A
.,/3m,7l:
■,7fc
l/3i 1/32 1/3
■~ f •■■ t
il J2 jm
^1,71
4,7fc)
)^^'", and the
where the sum over the /3a 's is determined by the action of fo on ^°
sum over the x{k)ej^^^^, represented by labelled boxes on the far right, is determined from
f l6.5ip by expanding the x{k). In particular, f^ fixes variables x{k)e^a represented by
labelled boxes on the far right and g^ acts only on such boxes. D
This concludes the proof of Theorem 11.31 stated in the introduction, so that
7:^U(5[„)^iro(W(sg)
(6.52)
is an isomorphism. Proposition 13.281 allows us to view 2functors ip, uj, a, and r as categori
fications of symmetries ip, ^, o", and r of _4U(s[„). The graded homs between 1morphisms
in U{sln) categorify the semilinear form (, )^ given by fl3.11Up .
Simple nondegeneracy observations. We can assume that k is only a commutative
ring, work over this ring from the start, and say that the calculus is nondegenerate over k
if U*{Silx,Sjlx) is a free kmodule with a basis Bijx for all j, i and A. We don't know
any examples of a root datum and ring k when the calculus is degenerate. Over a field
the nondegeneracy of the calculus depends only on the root datum and the characteristic
of k. If the calculus is nondegenerate over (Q, it is nondegenerate over Z and over any
commutative ring k.
Multigrading. The multigrading introduced at the end of [IT] on rings R(i^) extends
to a multigrading on each hom space U*{Silx,£jlx). The Karoubian envelope of the
corresponding multigraded 2category should categorify the multiparameter deformation
of^U.
References
[1] S. Ariki. On the decomposition numbers of the Hecke algebra of G{m, 1, n). J. Math.
Kyoto Umv., 36(4):789808, 1996.
[2] A. Beilinson, G. Lusztig, and R. MacPherson. A geometric setting for the quantum
deformation of GL„. Duke Math. J., 61(2):655677, 1990.
[3] J. Bernstein, I. B. Frenkel, and M. Khovanov. A categorification of the Temperley
Lieb algebra and Schur quotients of U(sl(2)) via projective and Zuckerman functors.
Selecta Math. (N.S.), 5(2):199241, 1999, math.Q A/0002087[
86
REFERENCES 87
[4] F. Borceux. Handbook of categorical algebra. 1, volume 50 of Encyclopedia of Mathe
matics and its Applications. Cambridge University Press, Cambridge, 1994.
[5] S. Cautis and J. Kamnitzer. Knot homology via derived categories of coherent sheaves.
II, sl(m) case, 2007, math.AG/0710.3216.
[6] S. Cautis and J. Kamnitzer. Knot homology via derived categories of coherent sheaves.
I, sl(2)case. Duke Math. J., 142(3):511588, 2008, math. AG/0701194
[7] J. Chuang and R. Rouquier. Derived equivalences for symmetric groups and sL2
categorification. Ann. of Math., 167:245298, 2008, math.RT/0407205 .
L. Crane and I. B. Frenkel. Fourdimensional topological quantum field theory,
Hopf categories, and the canonical bases. J. Math. Phys., 35(10):51365154, 1994,
hep th/9405183 ]
[9] V. Drinfeld. Quantum groups. In Proceedings of the International Congress of Math
ematicians, Vol. 1, 2 (Berkeley, Calif., 1986), pages 798820, Providence, RI, 1987.
Amer. Math. Soc.
[10] I. B. Frenkel, M. Khovanov, and C. Stroppel. A categorification of finitedimensional
irreducible representations of quantum sl(2) and their tensor products. Selecta Math.
(N.S.), 12(34) :379431, 2006,math.QA/0511467[
[11] W. Fulton. Equivariant cohomology in algebraic geometry. Eilenberg
lectures, Columbia University. Notes by Dave Anderson, available at
http : //www . math . Isa . umich . edu/~dandersn/eilenberg/, 2007.
[12] N. Canter and M. Kapranov. Representation and character theory in 2categories.
Adv. Math., 217(5):22682300, 2008, math.KT/0602510
[13] M. Jimbo. A gdifference analogue of U{g) and the YangBaxter equation. Lett. Math.
Phys., 10(l):6369, 1985.
[14] M. Kashiwara. Global crystal bases of quantum groups. Duke Math. J., 69(2):455485,
1993.
[15] M. Khovanov. A functor valued invariant of tangles. Algebr. Ceom. Toj^o/., 2:665741
(electronic), 2002, ,math.QA/0103190 .
[16] M. Khovanov and A. Lauda. A diagrammatic approach to categorification of quantum
groups I, 2008, math.QA/0803.4121.
[17] M. Khovanov and A. Lauda. A diagrammatic approach to categorification of quantum
groups II, 2008, math.QA/0804.2080.
[18] M. Khovanov and L. Rozansky. Matrix factorizations and link homology. Fund. Math.,
199(1):191, 2008, math.QA/0401268
87
REFERENCES 88
[19
[20
[21
[22
[23'
[24
[25
[26;
[27;
[28
[29
[30
[31
[32
A. Kleshchev. Linear and projective representations of symmetric groups, volume 163
of Cambridge Tracts in Mathematics. Cambridge U. Press, 2005.
P. Kronheimer and H. Nakajima. YangMills instantons on ALE gravitational instan
tons. Math. Ann., 288(2):263307, 1990.
A. D. Lauda. A categorification of quantum sl(2), 2008, math. Q A/0803. 3652.
A. D. Lauda. Categorified quantum sl(2) and equivariant coliomology of iterated flag
varieties, 2008, math.QA/0803.3848.
G. Lusztig. Canonical bases in tensor products. Proc. Nat. Acad. Sci. U.S.A.,
89(17):81778179, 1992.
G. Lusztig. Introduction to quantum groups, volume 110 of Progress in Mathematics.
Birkhauser Boston Inc., Boston, MA, 1993.
G. Lusztig. Canonical bases and Hall algebras. In Representation theories and algebraic
geometry (Montreal, PQ, 1997), volume 514 of NATO Adv. Sci. Inst. Ser. C Math.
Phys. Sci., pages 365399. Kluwer Acad. Publ., Dordrecht, 1998.
H. Nakajima. Instantons on ALE spaces, quiver varieties, and KacMoody algebras.
Duke Math. J., 76(2):365416, 1994.
M. Reineke. Monomials in canonical bases of quantum groups and quadratic forms.
J. Pure Appl. Algebra, 157(23):301309, 2001.
J. Rosenberg. Algebraic Ktheory and its applications, volume 147 of Graduate Texts
in Mathematics. Springer Verlag, New York, 1994.
R. Rouquier. Higher representation theory. Talk at IAS, March 2008.
R. Rouquier. Higher representations of KacMoody algebras. Work in progress.
J. Sussan. Category O and sl(k) link invariants, 2007, math.QA/0701045
C. Weibel. The Kbook: An introduction to algebraic Ktheory. available online,
http : //www . math . rutgers . edu/~weibel/Kbook . html.
[33] H. Zheng. Categorification of integrable representations of quantum groups, 2008,
iarXiv:0803.366'8l
M.K.: Department oi Mathematics, Columbia University, New York, NY 10027
email : khovanovOmath . Columbia . edu
A.L: Department of Mathematics, Columbia University, New York, NY 10027
email: lauda@math.columbia.edu
88